Java SAM Typed Closures : A Sound and Complete Type Inference System for Nominal Types

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

Abstrakty

EN

The last proposal for Java closures, as emerged in JSR 000335, is mainly innovative in: (1) Use of nominal types, SAM types, for closures; (2) Introduction of target types and compatibility for a contextual typing of closures; (3) Need for a type inference that reconstructs the omitted type annotations of closures and closure arguments. The paper provides a sound and complete type system, with nominal types, for such a type inference and discusses role and formalization of targeting and of compatibility in the designed inference process.

Słowa kluczowe

EN

Java; computer systems; technological innovations; software compatibility; annotation; computer science

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 128, nr 1-2
• Strony: 17--33
• Opis fizyczny: Bibliogr. 14 poz., tab.

Twórcy

autor

Bellia M.

• Dipartimento di Informatica, Università di Pisa, Italy

autor

Occhiuto M.E.

• Dipartimento di Informatica, Università di Pisa, Italy

Bibliografia

• [1] D. Lea B. Lee and J. Bloch. Concise Instance Creation Expressions: Closure without Complexity, 2006. crazybob.org/2006/10/java-closure-spectrum.html.
• [2] M. Bellia and M.E. Occhiuto. Java in Academia and Research, chapter JavaQ: Higher Order Programming in Java, pages 166-185. iConcept Press Ltd., 2011.
• [3] M. Bellia and M.E. Occhiuto. The equivalence of Reduction and Translation Semantics of Java Simple Closures. Fundamenta Informaticae, 119:1-16, 2012.
• [4] M. Bellia and M.E. Occhiuto. Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types(Extended Version). Technical Report TR-13-07, University of Pisa, Dipartimento Informatica, 2013. http://compass2.di.unipi.it/TR/.
• [5] F. Baader and K. Schultz. Cmbining Constraint Solving, volume 2001 of LNCS. Springer-Verlag, 2001.
• [6] 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.
• [7] A. Buckley and D. Smith. State of the Lambda. Oracle Corporation, December 2011. http://cr.openjdk.java.net/briangoetz/lambda/lambda-state-4.html.
• [8] H. Comon and C. Kirchner. Constraint Solving on Terms, volume 2001 of LNCS. Springer-Verlag, 2001.
• [9] Elmar Eder. Properties of Substitutions and Unifications. J. Symb. Comput., 1(1):31- 46, March 1985.
• [10] Matthias Felleisen and Daniel P. Friedman. A Reduction Semantics for Imperative Higher-Order Languages. In PARLE (2), pages 206-223, 1987.
• [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] C. Kirchner. Constraint Solving on Terms: Syntactic Methods. Preliminary Lecture Notes. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.30.6600,1999.
• [13] OpenJDK. Project lambda, 2012. http://openjdk.java.net/projects/lambda/.
• [14] B.J. Pierce. Types and Programming Languages. MIT Press, 2002.