Properties of Java Simple Closures

DOI10.3233/FI-2011-508zbMATH Open1228.68019OpenAlexW1604045087MaRDI QIDQ3097963FDOQ3097963

Authors: M. Eugenia Occhiuto, Marco Bellia 

Publication date: 10 November 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-508

Recommendations

• The equivalence of reduction and translation semantics of Java simple closures
• Closures of Proper Classes
• Closure properties of pattern languages
• Closure properties of pattern languages
• Confined types in Java
• scientific article; zbMATH DE number 769625
• Some Notes on Managing Closure Operators
• scientific article; zbMATH DE number 1497837
• scientific article; zbMATH DE number 1343460
• Specification and verification of encapsulation in Java programs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (2)

• Java SAM typed closures: a sound and complete type inference system for nominal types
• The equivalence of reduction and translation semantics of Java simple closures

This page was built for publication: Properties of Java Simple Closures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3097963)