Denotational semantics of object specification

DOI10.1007/S002360050141MaRDI QIDQ1127818zbMATH OpenOpenAlexFDO

Authors Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Publication date 10 September 1998

Published in Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

aggregationabstractionGalois correspondencelinear temporal logicparallel compositioninstitution of objectsinterconneetioninterfacingmonotonic specializationtemporal logic institution

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• Denotational semantics for a program logic of objects
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Semantics, calculi, and analysis for object-oriented specifications
• Difunctorial semantics of object calculus
• Object Specification Logic
• scientific article; zbMATH DE number 1368958
• scientific article; zbMATH DE number 3956413
• Denotational semantics of a parallel object-oriented language
• Semantic constructions for the specification of objects
• Specification of object-oriented systems

Cited in

(6)

• A specification formalism for interacting objects
• scientific article; zbMATH DE number 1418816 (Why is no real title available?)
• Temporal structures
• Difunctorial semantics of object calculus
• Categorical foundations for randomly timed automata
• Programming Denotational Semantics II

This page was built for publication: Denotational semantics of object specification

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