5415 search results - page 167 / 1083 » The Implementation of Functional Programming Languages |
FP
1992
14 years 2 months ago
1992
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
ENTCS
2007
13 years 10 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
ALP
1992
Springer
14 years 2 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
EPIA
2009
Springer
14 years 5 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
ICCHP
2004
Springer
2004
Springer
Neuropsychological Function for Accessibility of Computer Program for People with Mental Retardation
14 years 4 months ago
The extent to which people with mental retardation are benefit from the modern information technology is not well explored. A better understanding on ways that the existing human-c...