7 search results - page 2 / 2 » Compiling Multi-Paradigm Declarative Programs into Prolog |
FLOPS
2004
Springer
14 years 8 days ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
PPDP
2004
Springer
14 years 1 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...