Files in this item

FilesDescriptionFormat

application/pdf

application/pdfKJ-paper-companion-TR.pdf (300kB)
(no description provided)PDF

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


This item appears in the following Collection(s)

Item Statistics