152 search results - page 1 / 31 » A Self-Applicable Partial Evaluator for Term Rewriting Syste... |
TAPSOFT
1989
Springer
13 years 9 months ago
1989
Springer
LOPSTR
1992
Springer
13 years 9 months 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
13 years 11 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
13 years 9 months 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 5 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...