Files in this item
| Files | Description | Format |
|---|---|---|
|
application/pdf  KJ-paper-companion-TR.pdf (300kB) | (no description provided) |
Description
| Title: | K-Java: Runtime Semantics for Method Invocation and Object Instantiation |
| Author(s): | Denis Bogdanas |
| 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 |