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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationMemory Management
Subtitle of host publicationInternational Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings
EditorsHenry G. Baler
PublisherSpringer
Pages117
Number of pages1
ISBN (Electronic)978-3-540-45511-0
ISBN (Print)978-3-540-60368-9
DOIs
Publication statusPublished - 1995

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume986
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Static analysis refuses to stay still: Prospects of static analyis for dynamic allocation: Memory Management'. Together they form a unique fingerprint.

Cite this