Efficient specialisation in prolog using the hand-written compiler generator LOGEN

Electronic Notes in Theoretical Computer Science

Volumn 30, Issue 2, 2000, Pages 157-162

  Leuschel, Michael ^a   Jørgensen, Jesper ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; DATA STRUCTURES; EVALUATION; LOGIC PROGRAMMING; ONLINE SYSTEMS;

HAND-WRITTEN COMPILERS; IMPERATIVE LANGUAGES; PARTIAL DEDUCTION; PROLOG;

PROGRAM COMPILERS;

EID: 19144367913     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80636-X     Document Type: Conference Paper

References (11)

1. Bruynooghe M., Leuschel M., Sagonas K. A polyvariant binding-time analysis for off-line partial deduction. Hankin C. Proceedings of the European Symposium on Programming (ESOP798), LNCS 1381. April 1998;27-41 Springer-Verlag
2. Chen W., Kifer M., Warren D.S. A first-order semantics of higher-order logic programming constructs. Lusk E.L., Overbeek R.A. Logic Programming: Proceedings of the North American Conference. 1989;1090-1114 MIT Press
3. De Schreye D., Gliick R., Jørgensen J., Leuschel M., Martens B., Sørensen M.H. Conjunctive partial deduction: Foundations, control, algorithms and experiments. The Journal of Logic Programming. 41:(2 & 3):November 1999;231-277. To appear
4. C. K. Hoist. Syntactic currying: yet another approach to partial evaluation. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1989.
5. Jørgensen J., Leuschel M. Efficiently generating efficient generating extensions in Prolog. Danvy O., Gliick R., Thiemann P. Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, LNCS 1110. 1996;238-262 Springer-Verlag, Schloß Dagstuhl
6. M. Leuschel. The ecce partial deduction system and the dppd library of benchmarks. Obtainable via http://www.ecs.soton.ac.uk/~mal, 1996.
7. Leuschel M., Jørgensen J. Efficient specialisation in Prolog using a handwritten compiler generator. Technical Report DSSE-TR-99-6, Department of Electronics and Computer Science, University of Southampton. September 1999
8. Leuschel M., Martens B., de Schreye D. Controlling generalisation and polyvariance in partial deduction of normal logic programs. ACM Transactions on Programming Languages and Systems. 20:(1):January 1998;208-258
9. J. Martin and M. Leuschel. Sonic partial deduction. In Proceedings of the Third International Ershov Conference on Perspectives of System Informatics, LNCS 1755, Novosibirsk, Russia, 1999. Springer-Verlag. To appear.
10. Sahlin D. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing. 12:(1):1993;7-51
11. Sterling L., Shapiro E. The Art of Prolog. 1986;MIT Press