http://www.oopsla.org/2006/2006/index.php?option=com_content&task=view&id=377&Itemid=446

program registration submissions committee lodging portland

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

 
Posters

While Space Available
Search
program registration submissions committee lodging portland
For comments and questions about the web site
please contact us at support@oopsla.org
© 2005 OOPSLA