Bellia, Marco and Occhiuto, Maria Eugena (2012) The Equivalence of Reduction and Translation Semantics of Java Simple Closures (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Other (Gzip) Available under License Creative Commons Attribution No Derivatives. Download (505Kb) |
Abstract
FGCJ is a minimal core calculus that extends Featherweight Generic Java, FGJ, with lambda expressions for Java Simple Closures. It has been introduced to study, in a reduction semantics framework, properties of Java Simple Closures, including type safety and abstraction property. F is a source-to-source, translation rule system from Java 1.5 extended with lambda expressions, back to ordinary Java 1.5. It has been introduced to study, in a translation semantics framework, the design and the implementation features of lambda expressions, including simple closures, this transparency, non local variables and relations with anonymous class objects. In this paper we prove that the reduction semantics and the translation semantics commute in FGACJ. Where FGACJ is a minimal core calculus that extends FGCJ, by adding Java interfaces and anonymous class objects and that allows a restricted definition of translation semantics F.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Reduction semantics; Translation semantics; Semantics equivalence; Higher order programming |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 03 Dec 2014 17:24 |
Last Modified: | 03 Dec 2014 17:24 |
URI: | http://eprints.adm.unipi.it/id/eprint/2290 |
Repository staff only actions
View Item |