Self-Tuning Resource Aware Specialisation for Prolog
Craig, Stephen-John and Leuschel, Michael (2005) Self-Tuning Resource Aware Specialisation for Prolog. In, Felty, Amy (ed.) Proceedings of PPDP'05. , ACM Press, 23-34.
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer architecture and Prolog compiler using a genetic algorithm approach. The algorithm is based on mutating the annotations of offline partial evaluation. Using a set of representative sample queries it decides upon the fitness of annotations, controlling the trade-off between code explosion, speedup gained and specialisation time. The user can specify the importance of each of these factors in determining the quality of the produced code, tailoring the specialisation to the particular problem at hand. We present experimental results for our implemented technique on a series of benchmarks. The results are compared against the aggressive termination based binding-time analysis and optimised using different measures for the quality of code. We also show that our technique avoids some classical pitfalls of partial evaluation.
|Item Type:||Book Section|
|Keywords:||Partial Evaluation, Logic Programming, Genetic Algorithms, Optimization, Compilers, Embedded Systems, Tuning|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science
|Date Deposited:||07 Sep 2005|
|Last Modified:||02 Mar 2012 12:20|
|Contributors:||Craig, Stephen-John (Author)
Leuschel, Michael (Author)
Felty, Amy (Editor)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)