Semantics and logic of object calculi

DOI10.1016/J.TCS.2004.01.030zbMath1072.68064OpenAlexW2027723207WikidataQ56092882 ScholiaQ56092882MaRDI QIDQ1434358

Thomas Streicher, Bernhard Reus

Publication date: 4 August 2004

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.030

zbMATH Keywords

Denotational semanticsProgram verificationDomain theoryObject logicProgramming logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

A domain-theoretic model of nominally-typed object-oriented programming ⋮ On Normalization by Evaluation for Object Calculi ⋮ Logical equivalence for subtyping object and recursive types

Cites Work

• Objects and classes in Algol-like languages
• Relational properties of domains
• Class-Based versus Object-Based: A Denotational Comparison
• Computer Science Logic
• Verification: Theory and Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics and logic of object calculi