Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Memory Management

IWMM 1995: Memory Management pp 117Cite as

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

  • Invited Talk
  • Conference paper
  • First Online:

  • 197 Accesses

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

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.

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