K-Java: Runtime Semantics for Method Invocation and Object Instantiation

Bogdanas, Denis

Permalink

https://hdl.handle.net/2142/55512 Copy

Description

Title

K-Java: Runtime Semantics for Method Invocation and Object Instantiation

Author(s)

Bogdanas, Denis

Issue Date

2014-10-27

Keyword(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.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/55512

Owning Collections