JFLP 2002 | Sciweavers

36

JFLP
2002

101views more JFLP 2002»

Complete Selection Functions for a Lazy Conditional Narrowing Calculus

14 years 8 days ago

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...

Aart Middeldorp, Taro Suzuki, Mohamed Hamada

claim paper

Read More »

34

click to vote

JFLP
2002

84views more JFLP 2002»

Subject Reduction of Logic Programs as Proof-Theoretic Property

14 years 8 days ago

Download scholar.lib.vt.edu

We consider prescriptive type systems for logic programs (as in G

Pierre Deransart, Jan-Georg Smaus

claim paper

Read More »

46

click to vote

JFLP
2002

81views more JFLP 2002»

A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages

14 years 8 days ago

Download www.informatik.uni-kiel.de

We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...

Elvira Albert, Michael Hanus, Germán Vidal

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers