152 search results - page 1 / 31 » A Self-Applicable Partial Evaluator for Term Rewriting Syste... |
TAPSOFT
1989
Springer
14 years 13 days ago
1989
Springer
LOPSTR
1992
Springer
14 years 14 days ago
1992
Springer
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...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
ICCL
1998
IEEE
14 years 20 days ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
ENTCS
2002
13 years 8 months ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...