Points-to analysis for Java using annotated constraints
- 1 October 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (11) , 43-55
- https://doi.org/10.1145/504282.504286
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Effective synchronization removal for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Projection mergingPublished by Association for Computing Machinery (ACM) ,2000
- Practical experience with an application extractor for JavaPublished by Association for Computing Machinery (ACM) ,1999
- 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
- Partial online cycle elimination in inclusion constraint graphsPublished by Association for Computing Machinery (ACM) ,1998
- Simple and effective analysis of statically-typed object-oriented programsPublished by Association for Computing Machinery (ACM) ,1996
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Constraint-based type inference and parametric polymorphismPublished by Springer Nature ,1994
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993