Please use this identifier to cite or link to this item:
https://doi.org/10.1145/1176617.1176650
Title: | Core-Java: An expression-oriented Java | Authors: | Craciun, F. Goh, H.Y. Popeea, C. Chin, W.-N. |
Keywords: | Language design Type-based analysis |
Issue Date: | 2006 | Citation: | Craciun, F.,Goh, H.Y.,Popeea, C.,Chin, W.-N. (2006). Core-Java: An expression-oriented Java. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2006 : 639-640. ScholarBank@NUS Repository. https://doi.org/10.1145/1176617.1176650 | Abstract: | A common practice for rapid prototyping of an object-oriented program analysis is to define a lightweight fragment of Java, that is sufficiently small to facilitate a rigorous analysis of key properties. Such a lightweight fragment lacks important Java features, thus the experimental evaluation on real-world code is not easy. The solution is either to extend the prototype to the whole Java or to rewrite the real-world code in the lightweight language. We propose an intermediate solution through Core-Java, an expression-oriented core calculus of Java and a comprehensive set of translation rules from Java to Core-Java. The translation can be guided by the specific requirements of each program analysis. We have built an implementation of our framework and have used it for two different analyses on Java programs. | Source Title: | Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA | URI: | http://scholarbank.nus.edu.sg/handle/10635/40778 | ISBN: | 159593491X | DOI: | 10.1145/1176617.1176650 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.