Semantics and logic of object calculi

DOI10.1016/J.TCS.2004.01.030MaRDI QIDQ1434358zbMATH OpenOpenAlexWikidataFDO

Authors Bernhard Reus, Thomas Streicher

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

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

Recommendations

• Difunctorial semantics of object calculus
• Denotational semantics for a program logic of objects
• Semantics, calculi, and analysis for object-oriented specifications
• Object calculi in linear logic
• scientific article; zbMATH DE number 1231588
• Logical foundations of object-oriented and frame-based languages
• scientific article; zbMATH DE number 26616
• Programming Languages and Systems
• scientific article; zbMATH DE number 2090122
• A logic of object-oriented programs

Cites work

• scientific article; zbMATH DE number 1693528 (Why is no real title available?)
• scientific article; zbMATH DE number 1701349 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• scientific article; zbMATH DE number 1955918 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1841809 (Why is no real title available?)
• scientific article; zbMATH DE number 814800 (Why is no real title available?)
• A logic of object-oriented programs
• Class-based versus object-based: a denotational comparison
• Computer Science Logic
• Objects and classes in Algol-like languages
• Relational properties of domains

Cited in

(14)

• Programming Languages and Systems
• A domain-theoretic model of nominally-typed object-oriented programming
• Calculus of task-constructive objects and their interpretations: II
• An imperative object calculus
• Diversification of object-languages for propositional logics
• A basic calculus for verifying properties of interacting objects
• Object calculi in linear logic
• On Normalization by Evaluation for Object Calculi
• Logical equivalence for subtyping object and recursive types
• Semantics, calculi, and analysis for object-oriented specifications
• Difunctorial semantics of object calculus
• Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
• A semantics for complex objects and approximate answers
• Denotational semantics for a program logic of objects

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

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