3 search results - page 1 / 1 » jflp 2002 |
JFLP
2002
13 years 4 months ago
2002
We consider prescriptive type systems for logic programs (as in G
JFLP
2002
13 years 4 months ago
2002
In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is...
JFLP
2002
13 years 4 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...