Analysis of imperative programs through analysis of constraint logic programs

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

Volumn 1503 LNCS, Issue , 1998, Pages 246-261

  Peralta, Julio C ^a   Gallagher, John P ^a   Saǧlam, Hüseyin ^a  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

Author keywords

Constraint Logic Programming; Imperative Program Analysis; Operational Semantics; Partial Evaluation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; SEMANTICS; SOFTWARE AGENTS;

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMS; DECLARATIVE LANGUAGES; IMPERATIVE LANGUAGES; IMPERATIVE PROGRAMS; OPERATIONAL SEMANTICS; PARTIAL EVALUATION; SMALL-STEP SEMANTICS;

STATIC ANALYSIS;

EID: 84905001048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49727-7_15     Document Type: Conference Paper

References (21)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.
2. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints amog variables of a program. In Proceedings of the Conference Record of the 5th ACM Symposium on Principles of Programming Languages, pages 84-97, Albuquerque, New Mexico, 1978.
3. Patrick Cousot. Abstract interpretation based static analysis parametrized by semantics. In Proceedings of the Fourth International Symposium on Static Analysis, SAS'97, pages 388-394, Paris, France, 1997. LNCS 1302, Springer Verlag.
4. J.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.
5. J. Gallagher and M. Bruynooghe. Some low-level source transformations for logic programs. In Proceedings of Meta90 Workshop on Meta Programming in Logic. Katholieke Universiteit Leuven, Belgium, 1990.
6. J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. New Generation Computing, 9(3&4):305-333, 1991.
7. J. Gallagher and D.A. de Waal. Fast and precise regular approximation of logic programs. In P. Van Hentenryck, editor, Proceedings of the International Conference on Logic Programming (ICLP'94), Santa Margherita Ligure, Italy. MIT Press, 1994.
8. Valérie Gouranton and Daniel Le Métayer. Formal development of static program analysers. In Proceedings of the 8th Israeli Conference on Computer Systems and Software Engineering, pages 101-110, Israel, 1997.
9. Donald E. Knuth. The Art of Computer Programming, volume 3 of Sorting and Searching. Addison-Wesley Publishing Company, 1973.
10. Robert Kowalski. Logic for Problem Solving. North Holland, 1979.
11. Michael Leuschel. Advanced Techniques for Logic Program Specialisation. PhD thesis, Katholieke Universiteit Leuven, Department of Computer Science, Leuven, Belgium, May 1997.
12. J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11(3&4):217-242, 1991.
13. Flemming Nielson. Two-level semantics and abstract interpretation. Theoretical Computer Science, (69):117-242, 1989.
14. Flemming Nielson. Semantics-directed program analysis: A toolmaker's perspective. In Third International Symposium, SAS'96. Springer Verlag, LNCS 1145, 1996.
15. Flemming Nielson and Hanne Riis Nielson. Two-level semantics and code generation. Theoretical Computer Science, (56):59-133, 1988.
16. Hanne Riis Nielson and Flemming Nielson. Semantics with Applications. John Wiley and Sons, 1992.
17. John L. Ross and Mooly Sagiv. Building a bridge between pointer aliases and program dependences. In European Symposium On Programming, Lisbon, Portugal, 1998
18. Hüseyin Saglam. A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis, Bristol University, Department of Computer Science, Bristol, U.K., March 1998.
19. Mooly Sagiv, Nissim Francez, Michael Rodeh, and Reinhard Wilhelm. A logic-based approach to program flow analysis. 1998. Submitted to Acta Informatica.
20. H. Saglam and J. Gallagher. Constrained regular approximation of logic programs. In N. Fuchs, editor, Logic Program Synthesis and Transformation (LOPSTR'97). Springer-Verlag, Lecture Notes in Computer Science, 1998. in press.
21. Clark Verbrugge, Phong Co, and Laurie Hendren. Generalized constant propagation a study of C. Lecture Notes in Computer Science, Compiler Construction, (1060):74-90, 1996.