Files in this item
Files | Description | Format |
---|---|---|
application/pdf ![]() | (no description provided) |
Description
Title: | K-Java: Runtime Semantics for Method Invocation and Object Instantiation |
Author(s): | Bogdanas, Denis |
Subject(s): | Java, mechanized semantics, K framework |
Abstract: | This is a companion report to the POPL'15 paper on K-Java, describing in detail the semantics of method invocation and of object creation. |
Issue Date: | 2014-10-27 |
Genre: | Technical Report |
Type: | Text |
Language: | English |
URI: | http://hdl.handle.net/2142/55512 |
Date Available in IDEALS: | 2014-10-27 |