A CuCh interpretation of an object-oriented language

DOI10.1016/S1571-0661(04)00171-9MaRDI QIDQ4916176zbMATH OpenFDO

Authors Viviana Bono, Ivano Salvo

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00171-9

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Typed interpretations of extensible objects
• scientific article; zbMATH DE number 720178
• An interpretation of typed objects into typed -calculus
• scientific article; zbMATH DE number 1354148
• scientific article; zbMATH DE number 1759485

Cites work

• A calculus for overloaded functions with subtyping
• A CUCH-machine: The automatic treatment of bound variables
• A meta-language for typed object-oriented languages
• A semantics of multiple inheritance
• Algebraic specification techniques in object oriented programming environments
• Automatic synthesis of typed -programs on term algebras
• Can programming be liberated from the von Neumann style?
• Comparing object encodings.
• scientific article; zbMATH DE number 1722696 (Why is no real title available?)
• scientific article; zbMATH DE number 986404 (Why is no real title available?)
• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 1330431 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 814800 (Why is no real title available?)
• scientific article; zbMATH DE number 1390057 (Why is no real title available?)
• scientific article; zbMATH DE number 3244305 (Why is no real title available?)
• scientific article; zbMATH DE number 3305032 (Why is no real title available?)
• Notes on ?A CUCH-machine: The automatic treatment of bound variables?

Cited in

(2)

• A mechanized semantics for C++ object construction and destruction, with applications to resource management
• Typed interpretations of extensible objects

Describes a project that uses

Uses Software

• Featherweight Java
• PolyTOIL
• Smalltalk

This page was built for publication: A CuCh interpretation of an object-oriented language

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