K-Java
Published in ACM SIGPLAN Notices • Jan 14, 2015
NobleIDNI5P75W49R12S71
Authors:,
Denis Bogdanas
Grigore Roşu
Abstract
This paper presents K-Java, a complete executable formal semantics of Java 1.4. K-Java was extensively tested with a test suite developed alongside the project, following the Test Driven Development methodology. In order to maintain clarity while handling the great size of Java, the semantics was sp...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!