Please use this identifier to cite or link to this item: https://doi.org/10.1145/1176617.1176650
DC FieldValue
dc.titleCore-Java: An expression-oriented Java
dc.contributor.authorCraciun, F.
dc.contributor.authorGoh, H.Y.
dc.contributor.authorPopeea, C.
dc.contributor.authorChin, W.-N.
dc.date.accessioned2013-07-04T08:12:08Z
dc.date.available2013-07-04T08:12:08Z
dc.date.issued2006
dc.identifier.citationCraciun, 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. <a href="https://doi.org/10.1145/1176617.1176650" target="_blank">https://doi.org/10.1145/1176617.1176650</a>
dc.identifier.isbn159593491X
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40778
dc.description.abstractA 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.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1145/1176617.1176650
dc.sourceScopus
dc.subjectLanguage design
dc.subjectType-based analysis
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1145/1176617.1176650
dc.description.sourcetitleProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
dc.description.volume2006
dc.description.page639-640
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

2
checked on Dec 6, 2022

Page view(s)

133
checked on Dec 8, 2022

Google ScholarTM

Check

Altmetric


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