Denotational semantics of an object-oriented programming language with explicit wrappers

DOI10.1007/BF01211554zbMath0774.68078OpenAlexW4247322174MaRDI QIDQ1261310

Andreas V. Hense

Publication date: 17 November 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211554

zbMATH Keywords

denotational semanticsclass inheritancemultiple inheritancehierarchy inheritancewrapper semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Denotational semantics of an object-oriented programming language with explicit wrappers

Uses Software

• Smalltalk
• Eiffel
• Commonloops

Cites Work

• The lambda calculus, its syntax and semantics
• Denotational semantics of an object-oriented programming language with explicit wrappers
• A lattice-theoretical fixpoint theorem and its applications
• Data Types as Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational semantics of an object-oriented programming language with explicit wrappers