Precise Constraint-Based Type Inference for Java
- 21 June 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Practical virtual method call resolution for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Scalable propagation-based call graph construction algorithmsPublished by Association for Computing Machinery (ACM) ,2000
- Polyvariant Flow Analysis with Constrained TypesPublished by Springer Nature ,2000
- Practical experience with an application extractor for JavaPublished by Association for Computing Machinery (ACM) ,1999
- Modular type-based reverse engineering of parameterized types in Java codePublished by Association for Computing Machinery (ACM) ,1999
- From polyvariant flow information to intersection and union typesPublished by Association for Computing Machinery (ACM) ,1998
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993