Compositional pointer and escape analysis for Java programs
- 1 October 1999
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 34 (10) , 187-206
- https://doi.org/10.1145/320385.320400
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Removing unnecessary synchronization in JavaPublished by Association for Computing Machinery (ACM) ,1999
- Escape analysis for object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1999
- Static Analyses for Eliminating Unnecessary Synchronization from Java ProgramsPublished by Springer Nature ,1999
- The Jalapeño dynamic optimizing compiler for JavaPublished by Association for Computing Machinery (ACM) ,1999
- Pointer analysis for multithreaded programsPublished by Association for Computing Machinery (ACM) ,1999
- Constructing compact models of concurrent Java programsPublished by Association for Computing Machinery (ACM) ,1998
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992