P04: Core-Java: An Expression-Oriented Java |
P04: Core-Java: An Expression-Oriented Java We propose a framework for rapid prototyping of type-based analyses for Java. It consists of Core-Java, an expression-oriented core calculus of Java, and a set of translation rules from Java to Core-Java. We prove its usefulness by prototyping two type-based analyses on real-code Java. Florin Craciun, Department of Computer Science, National University of Singapore Hong Yaw Goh, Department of Computer Science, National University of Singapore Corneliu Popeea, Department of Computer Science, National University of Singapore Wei-Ngan Chin, Department of Computer Science, National University of Singapore
|