K-Java
- 14 January 2015
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- PythonACM SIGPLAN Notices, 2013
- TraitRecordJ : A programming language with traits and recordsScience of Computer Programming, 2013
- An executable formal semantics of C with applicationsACM SIGPLAN Notices, 2012
- An overview of the K semantic frameworkThe Journal of Logic and Algebraic Programming, 2010
- Immutable Objects for a Java-Like LanguageLecture Notes in Computer Science, 2007
- A high-level modular definition of the semantics of C♯Theoretical Computer Science, 2005
- Formal Analysis of Java Programs in JavaFANLecture Notes in Computer Science, 2004
- The Maude LTL Model Checker and Its ImplementationLecture Notes in Computer Science, 2003
- A Programmer’s Reduction Semantics for Classes and MixinsPublished by Springer Science and Business Media LLC ,1999
- The syntax definition formalism SDF—reference manual—ACM SIGPLAN Notices, 1989