2076 search results - page 207 / 416 » Functional logic overloading |
126
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
286
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
134
Voted
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
131
Voted
AISC
2004
Springer
15 years 7 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
98
Voted
BTW
2009
Springer
15 years 6 months ago
2009
Springer
: BLINK is a prototype of an in-memory based query processor that exploits heavily the underlying CPU infrastructure. It is very sensitive to the processor’s caches and instructi...