UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

The Equivalence of Reduction and Translation Semantics of Java Simple Closures (Extended Version)

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.

[img] 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