Static analysis refuses to stay still: Prospects of static analyis for dynamic allocation

  • Philip Wadler
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 986)


Can the exciting and unpredictable process of dynamic memory allocation be rendered boring and predictable via static analysis? Yes and no. This talk reviews the history of this enterprise, with an emphasis on recent developments including linear types and region analysis.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Philip Wadler
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowScotland

Personalised recommendations