Data flow analysis of applicative programs using minimal function graphs i abridged version

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130414, Issue , 1986, Pages 296-306

  Jones, Neil D ^a   Mycroft, Alan ^b  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976835106     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512644.512672     Document Type: Conference Paper

References (24)

1. Aho, Alfred V. And Jeffrey D. Uliman. Principles of Compiler Design. Reading, MA. Addison-Wesley, 1977
2. Barth. J. "A Practical Inierprocedurai Data-Flow Analysis Algorithm", Commun. ACM, no. 21 (1978). Pp. 724-736
3. Clarke, L. A. And D.1. Richardson. "Symbolic Program Evaluation Methods for Program Analysis", in Program Flow Analysis: Theory and Applications. Englewooci Cliffs, Ni. Prentice-Hall. 1981 "
4. Cousot, Patrick and Racihia Cousot, "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints" XV/. Ree. Of 4th ACM Symp. On Principles of Programming Landtages. Los Angeles, CA (January 1977) pp. 238-252
5. Cousot, Patrick and Racihia Cousot "Automatic Synthesis of Optimal invariant Assertions: Mathematical Foundations", Proc. ACM Symp. On Artificial Intelligence and Programming Languages. Rochester. NY, SiGPLAN NOTICES. 12, no. 8 (August 1977), pp. 1-12.
6. Cousot, Patrick and Radhia Cousot, "Static Determination of Dynamic Properties of Recursive Procedures, " JFIP Working Conference on Programming Concepts, St. Andrews, N.B., Canada (August 1977), ed. E.J. Neuhoid. New York: North-Holland, pp. 237-277.
7. Donzeau-Gouge, Véronique, "Denotational Definitions of Properties of Program Computations", in Program Flow Analysis: Theory and Applications. Engiewood Cliffs, N'J, Prentice-Hail, 1981
8. Fosdick, L.D. And L.J. Osterweil, "Data Flow Analysis in Software Reliability". Compia. Surv, 8. No. 3 {September 1976), pp. 305-330
9. Gordon, M. J. C. The Denotational Description of Programming Languages, Sponger-Verlag, 1979
10. Hecht, Matthew S., Flow Analysis of Computer Programs. New York; Elsevier North-Holland, 1977.
11. Hewitt, C. And B. Smith, "Towards a Programming Apprentice", Proc. Of IEEE TransSoftware Eng., SE-!, no. I (March 1975), 26-45
12. Jazayeri, Mehdi, "Live Variable Analysis, Attribute Grammars, and Program Optimization", tech. Report, Univ. N. Carolina, Chapel Hill, NC, 1975 (Jones, Muchnick 81 )
13. Jones. Neil D. And Steven S. Muchnick, "A Flexible Approach to Intcrprocedural Data Flow Analysis, " Conf. Ree. Of 9tlACM Symp. On Principles of Programming l.anguages.( 198 1) pp. 66-74
14. Jones. Neil D., Peter Scstoft, Harald Sonciergaard, "An Experiment in Partial Evaluation: the Generation of a Compiler Generator", Proc. Conf. On Rewriting Techniques and Applications, Lecture Cotes in Computer Science, Springer-Verlag. 1985
15. Kam, J. 13. And Jeffrey D. Uliman, "Global Data Flow Analysis and Iterative Algorithms, ". ACM. 23. No. 1 (January 1976), pp. 158-171.
16. Muchnick, Steven S. And Neil D. Jones (eds.). Program Flow Ananysls: "Theory and Applications, Englewooci Cliffs, New'Jersey, Prentice-Hall, 1981
17. Mycroft, Alan, "The Theory and Practice of Transforming Call-by-need into Call-by-value", Proc. 4th Int. Symp. On Programming: Lecture Notes in Computer Science no. 83, Paris, April' 1980, pp. 269-281
18. Mycroft, Alan, Abstract Interpretation and Optimising Transformations for Applicative Programs, Ph. D. Thesis, University of Edinburgh, Scotland, 1981
19. Mycroft, Alan and Nielson, F. "Strong Abstract Interpretation Using Power Domains (Extended Abstract)" Proc. 10th ICALP : Springer LNCS 154, Diaz, J. (ed.), Barcelona, Spain, July, 1983, pp. 536-547
20. Nielson, Flemming, "A Denotational Framework for Flow Analysis", Acta Informatica, Springer-Verlag. Vol. 18, pp. 265-287, 1982
21. Nielson, Flemming, Abstract Interpretation Using Domain Theory, thesis C5T-3I-84, University of Edinburgh, Scotland, 1984
22. Sharir, Micha, "Data Flow Analysis of Applicative Programs", Proceedings ICALP 1981, Lecture Notes in Computer Science 115, pp. 98-113, 1981
23. Sintzoff, M. "Calulating Properties of Programs by Valuations on Specific Models", Proc. Symp. On Proving. Assertions about Programs, New Mexico, ACM, pp. 203-207, 1972.
24. Stoy, Joseph E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, Cambridge, MA: MIT Press, 1977.