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
Source: 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.

SCOPUSTM   
Citations

1
checked on Dec 13, 2017

Page view(s)

51
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.