Storage use analysis and its applications
- 15 June 1996
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- A type-based compiler for standard MLPublished by Association for Computing Machinery (ACM) ,1995
- Compiling polymorphism using intensional type analysisPublished by Association for Computing Machinery (ACM) ,1995
- Effective flow analysis for avoiding run-time checksLecture Notes in Computer Science, 1995
- Space efficient conservative garbage collectionACM SIGPLAN Notices, 1993
- The Python compiler for CMU Common LispPublished by Association for Computing Machinery (ACM) ,1992
- Global tagging optimization by type inferencePublished by Association for Computing Machinery (ACM) ,1992
- Control flow analysis in schemePublished by Association for Computing Machinery (ACM) ,1988
- Safety consideration for storage allocation optimizationsPublished by Association for Computing Machinery (ACM) ,1988
- Lifetime analysis of dynamically allocated objectsPublished by Association for Computing Machinery (ACM) ,1988
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977