A backwards analysis for compile-time garbage collection

  • Thomas P. Jensen
  • Torben Æ. Mogensen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 432)


This paper describes a context semantics that computes the exact number of uses of the value of an expression. This uses information about the actual value, obtained from the standard semantics of the language. The standard semantics is then abstracted away from the analysis to yield an approximating backwards analysis. It is shown how the results obtained can be used to transform a program into one that uses less dynamically alocated storage. The analysis is presented in terms of a first order functional language, and an extension to higher order functional languages is sketched.


  1. [Hughes 88]
    Hughes, R.J.M. Backwards Analysis of Functional Programs. In Workshop on Partial Evaluation and Mixed Computation. 1988.Google Scholar
  2. [Mogensen 89]
    Mogensen, Torben Æ. Binding Time Aspects of Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, 1989.Google Scholar
  3. [Mycroft 81]
    Mycroft, A. Abstract Interpretation and Optimising Transformation for Applicative Programs. PhD thesis, Univ. of Edinburgh, 1981.Google Scholar
  4. [NDJones 81]
    N.D. Jones, S.S. Muchnick. Program Flow Analysis. Prentice-Hall, 1981.Google Scholar
  5. [Sestoft 89]
    Sestoft, P. Replacing Function Parameters by Global Variables. In Functional Programming Languages and Computer Architecture, London, September 89. ACM Press and Addison-Wesley, 1989.Google Scholar
  6. [Wadler 84]
    Wadler, P. Listlessness is better than laziness: Lazy evaluation and compiletime garbage collection. In Proceedings of the ACM symposium on LISP and Functional Programming. 1984.Google Scholar
  7. [Wadler 85]
    Wadler, P. Listlessness is better tha laziness II: Composing listless functions. In Proc. of the Workshop on Programs as Data Objects. 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Thomas P. Jensen
    • 1
  • Torben Æ. Mogensen
    • 1
  1. 1.DIKUUniv. of CopenhagenDenmark

Personalised recommendations