A compiler generator for constraint logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2890, Issue , 2003, Pages 148-161

  Craig, Stephen John ^a   Leuschel, Michael ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

COGEN APPROACH; COMPILER GENERATORS; CONSTRAINT LOGIC PROGRAMS; SPECIALISATION;

PROGRAM COMPILERS;

EID: 35248867959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (21)

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19).
2. Lennart Beckman, Anders Haraldson, Östen Oskarsson, and Erik Sandewall. A partial evaluator and its use as a programming tool. Artificial Intelligence, 7:319-357, 1976.
3. Lars Birkedal and Morten Welinder. Hand-writing program generator generators. In M. Hermenegildo and J. Penjam, editors, Programming Language Implementation and Logic Programming. Proceedings, Proceedings of PLILP'91, LNCS 844, pages 198-214, Madrid, Spain, 1994. Springer-Verlag.
4. Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Automated strategies for specializing constraint logic programs. In Logic Based Program Synthesis and Transformation. Proceedings of Lopstr'2000, LNCS 1207, pages 125-146, 2000.
5. Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti. Verifying ctl properties of infinite-state systems by specializing constraint logic programs. In Proceedings of VCL'2001, Florence, Italy, September 2001.
6. C. K. Holst and J. Launchbury. Handwriting cogen to avoid problems with static typing. In Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming, Skye, Scotland, pages 210-218. Glasgow University, 1991.
7. Carsten Kehler Holst. Syntactic currying: yet another approach to partial evaluation. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1989.
8. J. Jaffar, S. Michaylov, and R. H. C. Yap. A methodology for managing hard constraints in CLP systems. In Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, volume 26, pages 306-316, Toronto, Ontario, Canada, June 1991.
9. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
10. Michael Leuschel. The ECCE partial deduction system and the DPPD library of benchmarks. Obtainable via http://www.ecs.soton.ac.uk/∼mal, 1996-2002.
11. Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, and Maurice Bruynooghe. Offline specialisation in Prolog using a hand-written compiler generator. Theory and Practice of Logic Programming, page 52pp, 2003. To appear.
12. K. Marriott and P. Stuckey. The 3 r's of optimizing constraint logic programs: Refinement, removal, and reordering. In Proceedings of POPL '93, pages 334-344. ACM Press, 1993.
13. Fred Mesnard and Slavatore Ruggieri. On proving left termination of constraint logic programs. ACM Transactions on Computational Logic, 2003. to appear.
14. Julio C. Peralta and John P. Gallagher. Convex hull abstractions in specialization of clp programs. In Michael Leuschel, editor, Proc. of 12th Int'l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'2002). Springer LNCS, 2002.
15. Julio C. Peralta. Analysis and Specialisation of Imperative Programs: An approach using CLP. PhD thesis, Department of Computer Science, University of Bristol, 2000.
16. Steven Prestwich. The PADDY partial deduction system. Technical Report ECRC-92-6, ECRC, Munich, Germany, 1992.
17. Sergei A. Romanenko. A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure. In Dines Bjørner, Andrei P. Ershov, and Neil D. Jones, editors, Partial Evaluation and Mixed Computation, pages 445-463. North-Holland, 1988.
18. D. Sahlin. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing, 12(1):7-51, 1993.
19. Donald A. Smith. Partial evaluation of pattern matching in constraint logic programming languages. In N. D. Jones and P. Hudak, editors, ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 62-71. ACM Press Sigplan Notices 26(9), 1991.
20. Donald A. Smith and Timothy Hickey. Partial evaluation of a CLP language. In S.K. Debray and M. Hermenegildo, editors, Proceedings of the North American Conference on Logic Programming, pages 119-138. MIT Press, 1990.
21. Yi Tao, William Grosky, and Chunnian Liu. An automatic partial deduction system for constraint logic programs. In 9th International Conference on Tools with Artificial Intelligence (ICTAI '97), pages 149-157, Newport Beach, CA, USA, November 1997. IEEE Computer Society.