Sciweavers

86
Voted
PLILP
1995
Springer
15 years 11 days ago
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
PLILP
1995
Springer
15 years 11 days ago
An Abstract Machine for Oz
ctMachineforOz MichaelMehl,RalfScheidhauer,andChristianSchulte RR-95-0 ResearchRepo
Michael Mehl, Ralf Scheidhauer, Christian Schulte
PLILP
1995
Springer
15 years 11 days ago
Local Linear Logic for Locality Consciousness in Multiset Transformation
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
Hugh McEvoy, Pieter H. Hartel