Skip to main content
Conference Proceedings

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1995) 986 118
DOI: 10.1007/3-540-60368-9_20
1Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

Wadler, P. (1995). Static analysis refuses to stay still: Prospects of static analyis for dynamic allocation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 986, p. 118). Springer Verlag. https://doi.org/10.1007/3-540-60368-9_20

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free