A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.

DOI10.1016/S1571-0661(04)00171-9zbMath1261.68042MaRDI QIDQ4916176

Viviana Bono, Ivano Salvo

Publication date: 19 April 2013

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

Mathematics Subject Classification ID

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

Uses Software

• Smalltalk
• PolyTOIL
• Featherweight Java

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic specification techniques in object oriented programming environments
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• A semantics of multiple inheritance
• A meta-language for typed object-oriented languages
• Comparing object encodings.
• A calculus for overloaded functions with subtyping
• Can programming be liberated from the von Neumann style?
• A CUCH-machine: The automatic treatment of bound variables
• Notes on ?A CUCH-machine: The automatic treatment of bound variables?

This page was built for publication: A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.