5415 search results - page 46 / 1083 » The Implementation of Functional Programming Languages |
CL
2000
Springer
14 years 1 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
TCS
2008
13 years 9 months ago
2008
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
ICLP
1998
Springer
14 years 1 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
ERLANG
2004
ACM
14 years 2 months ago
2004
ACM
Erlang is a concurrent functional language designed for developing large-scale, distributed, fault-tolerant systems. The primary implementation of the language is the Erlang/OTP s...