Objects and classes in Algol-like languages

DOI10.1006/INCO.2001.2927zbMath1009.68021OpenAlexW1997753121MaRDI QIDQ1854495

Uday S. Reddy

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/12780873/objects_and_classes.pdf

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (2)

Semantics and logic of object calculi ⋮ Musings around the geometry of interaction, and coherence

Uses Software

• Smalltalk
• PolyTOIL

Cites Work

• Behavioural correctness of data representations
• Semantical analysis of specification logic
• Syntactic control of interference revisited
• Positive subtyping
• Proof of correctness of data representations
• The denotational semantics of programming languages
• A model for syntactic control of interference
• Parametricity and local variables
• Simple type-theoretic foundations for object-oriented programming
• From Algol to polymorphic linear lambda-calculus
• SIMULA: an ALGOL-based simulation language
• A calculus for concurrent objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Objects and classes in Algol-like languages