TARK
1998
Springer
14 years 3 months ago
1998
Springer
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
The programming languages Erlang and Scheme have many common features, yet the performance of the current implementations of Erlang appears to be below that of good implementations...
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
PLILP
1998
Springer
14 years 3 months ago
1998
Springer
A property P of term rewriting systems is persistent if for any many-sorted term rewriting system R, R has the property P if and only if its underlying term rewriting system (R), ...
LOPSTR
1998
Springer
14 years 3 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...