Prodotti
Rapporti
JavaOmega: Preprocessing Closures in Java
- autori
- BELLIA MARCO , OCCHIUTO MARIA EUGENIA
- anno
- 2009
- tipo prodotto
- Rapporto finale di ricerca pubblicato
- cittą
- Pisa
- istituzione
- Dipartimento Informatica, Universitą Pisa
- data
- 12/02/2009
- tipo report
- Technical Report
- numero report
- TR-09-03
- numero autori totale
- 2
- progetto di riferimento
- JavaOmega
- lingua
- Inglese
- NOTA
- begin abstract The paper adds a mechanism of em closure to Java. We apply to closures the same technique we exploited in extending Java with methods as parameters citebellia2008,bellia2008c and we obtain a formal definition and a prototype of Java with closures. The formal definition consists of a set of source to source translation rules that state the meaning of the new construct in terms of compositions of well known ordinary Java structures. Two variants of the transformation are discussed to allow recursive defined closures and other mechanisms. The notion of em shared variable as a local variable that is allocated in the heap is also discussed. Eventually, since the resulting transformation is one pass process, it can be implemented through a source to source, one pass, preprocessor citebellia2007,bellia2008b, easy to write using standard development tools citelevine1995,donnely2006. end abstract
- parole chiave
- Object Oriented Programming , Higher Order Programming , Closures ,Translation Semantics , Preprocessing , Language Extentions