Sciweavers

61 search results - page 4 / 13
» The Essence of Program Transformation by Partial Evaluation ...
Sort
View
SLP
1989
87views more  SLP 1989»
13 years 9 months ago
Partial Evaluation in Prolog: Some Improvements about Cut
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
Michele Bugliesi, F. Russo
LISP
2000
77views more  LISP 2000»
13 years 7 months ago
Glossary for Partial Evaluation and Related Topics
Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or some...
Torben Æ. Mogensen
ICMLA
2007
13 years 9 months ago
Learning to evaluate conditional partial plans
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
Slawomir Nowaczyk, Jacek Malec
PEPM
1992
ACM
13 years 12 months ago
Self-applicable C Program Specialization
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
Lars Ole Andersen
SAS
1994
Springer
13 years 12 months ago
Generating Transformers for Deforestation and Supercompilation
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
Robert Glück, Jesper Jørgensen