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.
Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (358Kb) |
Abstract
The paper contains the technical complements of the paper, of the same authors, published in the book <span style="font-style: italic;">"Java in Academia and Research", 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 |