Università di Pisa
Sistema bibliotecario di ateneo

{Java$\Omega$: Higher Order Programming in Java -- The Technical Complements

Marco, Bellia and Occhiuto, Maria Eugena (2011) {Java$\Omega$: Higher Order Programming in Java -- The Technical Complements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (358Kb)


    The paper contains the technical complements of the paper, of the same authors, published in the book <span style="font-style: italic;">&quot;Java in Academia and Research&quot;, iConcept Press Ltd, 2011,</span> that describes the extensions of Java 1.5 with Higher Order (H.O. for short) mechanisms. The present complements contain the complete tables of (i) The translation semantics of a form of closure for Java; (ii) The translation semantics of H.O. methods with mc\_parameters as arguments; (iii) The translation semantics of Java extended with the above mechanisms put together; (iv) Theorems, lemmas and proofs of all the properties of the mechanisms and of the semantics discussed in the paper.<br />

    Item Type: Book
    Uncontrolled Keywords: Higher Order, OO programming, Java, Methods as parameters, Closures, Translation Semantics, Preprocessing based Implementation
    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 18:23
    Last Modified: 03 Dec 2014 18:23
    URI: http://eprints.adm.unipi.it/id/eprint/2278

    Repository staff only actions

    View Item