Skip to main content
SpringerLink
Log in

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

  • Invited Talk
  • Conference paper
  • First Online:
Memory Management (IWMM 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 986))

Included in the following conference series:

  • 197 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Glasgow, G12 8QQ, Scotland

    Philip Wadler

Authors
  1. Philip Wadler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Henry G. Baler

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag

About this paper

Cite this paper

Wadler, P. (1995). Static analysis refuses to stay still: Prospects of static analyis for dynamic allocation. In: Baler, H.G. (eds) Memory Management. IWMM 1995. Lecture Notes in Computer Science, vol 986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60368-9_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-60368-9_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60368-9

  • Online ISBN: 978-3-540-45511-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation