LOPSTR 1992 | Sciweavers

LOPSTR
1992
Springer

158views Automated Reasoning» more LOPSTR 1992»

Logimix: A Self-Applicable Partial Evaluator for Prolog

13 years 8 months ago

We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...

Torben Æ. Mogensen, Anders Bondorf

claim paper

Read More »

click to vote

LOPSTR
1992
Springer

116views Automated Reasoning» more LOPSTR 1992»

Intensional Query Answering: An Application of Partial Evaluation

13 years 8 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers