The Equivalence of Reduction and Translation Semantics of Java Simple Closures

• Autorzy: Bellia M. , Occhiuto M.E.
• Języki publikacji: EN

Abstrakty

EN

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, not 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.

Słowa kluczowe

EN

reduction semantics; translation semantics; Java Simple Closures

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2012
• Tom: Vol. 119, nr 3/4
• Strony: 249--265
• Opis fizyczny: Bibliogr. 13 poz., tab.

Twórcy

autor

Bellia M.

autor

Occhiuto M.E.

• Dipartimento di Informatica Universita di Pisa Largo B. Pontecorvo, 3, I-56127 Pisa, Italy,

Bibliografia

• [1] P. F. Albrecht and et al. Source-to-Source Translation: Ada to Pascal and Pascal to Ada. In ACMSIGPLAN symposium on The ADA programming language, SIGPLAN '80, pages 183-193, New York, NY, USA, 1980. ACM.
• [2] M. Bellia and M.E. Occhiuto. JavaΩ: A Translation Semantics for Closures in Java. In CS&P'2009, pages 72-83. Warsaw University, 2009.
• [3] M. Bellia and M.E. Occhiuto. JavaΩ: Proving Type Safety for Java Simple Closures. In CS&P'2010, pages 61-72. Humboldt-Universitat zu Berlin, 2010.
• [4] M. Bellia and M.E. Occhiuto. Java in Academia and Research, chapter JavaΩ: Higher Order Programming in Java, pages 166-185. iConcept Press Ltd., 2011.
• [5] M. Bellia and M.E. Occhiuto. Properties of Java Simple Closures. Fundamenta Informaticae, 109(3): 227-253, 2011.
• [6] M. Bellia and M.E. Occhiuto. The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version). Technical Report TR-12-07, University of Pisa, Dipartimento Informatica, 2012. http://compass2.di.unipi.it/TR/.
• [7] A. Buckley and D. Smith. JSR-000335 Lambda Expressions for the Java Programming Language - Early Draft Review: Lambda Specification, Version 0.4.2. Oracle Corporation, December 2011. http://download.oracle.com/otndocs/jcp/lambda-0 4 2-edr-spec/index.html.
• [8] A. Buckley. Project Lambda: Java Language Specification draft - Version 0.1, 2010. http://mail.openjdk.java.net/pipermail/lambda-dev/2010-January/000349.html.
• [9] B. Goetz. The Closures Debate: Should Closures be Added to the Java Language, and if so, How?, 2007. Java Theory and Practice, IBM Technical Library, www.ibm.com/developerworks/java/library/jjtp04247. html.
• [10] B. Goetz. State of the Lambda. Sun Microsystem, Inc., October 2010. http://cr.openjdk.java.net/∼briangoetz/lambda/lambda-state-2.html.
• [11] A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM TOPLAS, 23:396-450, 2001.
• [12] P. Pepper. A Study on Transformational Semantics. In International Summer School on Program Construction, volume 69 of LNCS, pages 322-405. Springer-Verlag, 1979.
• [13] M. Reinhold. Project Lambda: Straw-Man Proposal, 2009. http://cr.openjdk.java.net/∼mr/lambda/straw-man/.