Imperative program specialisation: An approach using CLP

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

Volumn 1817, Issue , 2000, Pages 102-117

  Peralta, Julio C ^a   Gallagher, John P ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DIRECTED GRAPHS; LOGIC PROGRAMMING; SEMANTICS;

CONSTRAINT LOGIC PROGRAMS; DECLARATIVE CONSTRAINTS; DECLARATIVE LANGUAGES; DECLARATIVE PROGRAMS; IMPERATIVE LANGUAGES; IMPERATIVE PROGRAMMING LANGUAGES; IMPERATIVE PROGRAMS; LABELLED DIRECTED GRAPH;

COMPUTER CIRCUITS;

EID: 84949671465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10720327_7     Document Type: Conference Paper

References (24)

1. Lars Ole Andersen. Program Analysis and Specialization for the C programming Language. PhD thesis, DIKU, University of Copenhagen, Denmark, May 1994.
2. Andrew W. Appel. SSA is functional programming. ACM SIGPLAN Notices, 33(4):17-20, 1998.
3. Sandrine Blazy and Philippe Facon. An automatic interprocedural analysis for the understanding of scientific application programs. In O. Danvy, Robert Glück, and Peter Thieman, editors, International Seminar on Partial Evaluation, pages 1-16. Springer-Verlag, LNCS 1110, 1996.
4. Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, and Dino Mandrioli. Software specialization via symbolic execution. IEEE Transactions on Software Engineering, 17(9):884-899, 1991.
5. Charles Consel and Olivier Danvy. Static and dymanic semantic processing. In ACM Press, editor, Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 14-24, Orlando, Florida, 1991.
6. J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. New Generation Computing, 9(3&4):305-333, 1991.
7. John P. Gallagher. Tutorial on specialisation of logic programs. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88-98, Copenhagen, Denmark, 1993. ACM Press.
8. John P. Gallagher and L. Lafave. Regular approximation of computation paths in logic and functional languages. In O. Danvy, R. Glück, and P. Thiemman, editors, Partial Evaluation, pages 115-136. Springer-Verlag, LNCS 1110, 1996.
9. John P. Gallagher and Julio C. Peralta. Using regular approximations for generalisation during partial evaluation. In Workshop on Partial Evaluation and Program Manipulation, pages 44-51. ACM Press, 2000. To appear in ACM SIGPLAN Notices.
10. Arne John Glenstrup, Henning Makholm, and Jens Peter Secher. C-mix: Specialization of C programs. Notes from the Partial Evaluation Summer School held at DIKU Copenhagen, Denmark, 1998.
11. Luke Hornof, Jaques Noyé, and Charles Consel. Effective specialization of realistic programs via use sensitivity. In Pascal Van Hentenryck, editor, Static Analysis Symposium, pages 293-318. Springer-Verlag, LNCS 1302, 1997.
12. Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19(20):503-581, 1994.
13. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series, 1993.
14. Neil D. Jones and Steven S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In ACM Press, editor, Conference Record of the Ninth Symposium on Principles of Programming Languages, pages 66-74, 1982.
15. Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöling, and Robert Glück. Fortran program specialization. SIGPLAN Notices, 30(4):61-70, 1995.
16. Laura Lafave. A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis, University of Bristol, UK, 1999.
17. J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11(3&4):217-242, 1991.
18. Uwe Meyer. Techniques for partial evaluation of imperative programs. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 94-115, New Haven, Conneticut, 1991. ACM Press.
19. Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufman, 1997.
20. Hanne Riis Nielson and Flemming Nielson. Semantics with Applications. John Wiley and Sons, 1992.
21. Julio C. Peralta, John P. Gallagher, and Hüseyin Sağlam. Analysis of imperative programs through analysis of constraint logic programs. In G. Levi, editor, Static Analysis Symposium, pages 246-261. Springer-Verlag, LNCS 1503, 1998.
22. Thomas Reps. Program analysis via graph reachability. Technical Report TR-1386, Computer Sciences Department, University of Wisconsin, August 1998. Extended version of invited paper in Proceedings of ILPS97.
23. Brian J. Ross. The partial evaluation of imperative programs using Prolog. In H. Abramson and M. H. Rogers, editors, Meta-Programming in Logic Programming, pages 341-363. MIT Press, 1989.
24. Hüseyin Sağlam and John P. Gallagher. Constrained regular approximations of logic programs. In N. Fuchs, editor, LOPSTR'97, pages 282-299. Springer-Verlag, LNCS 1463, 1997.