The equivalence of reduction and translation semantics of Java simple closures

DOI10.3233/FI-2012-736MaRDI QIDQ3168191zbMATH OpenOpenAlexFDO

Authors M. Eugenia Occhiuto, Marco Bellia

Publication date 29 October 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2012-736

zbMATH Keywords

source-to-source translation rule system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Properties of Java Simple Closures
• scientific article; zbMATH DE number 1497777
• scientific article; zbMATH DE number 6932679
• Initial semantics for reduction rules
• scientific article; zbMATH DE number 2044503

Cited in

(1)

• Properties of Java Simple Closures

This page was built for publication: The equivalence of reduction and translation semantics of Java simple closures

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