Behavioural subtyping relations for object-oriented formalisms

DOI10.1007/3-540-45499-3_33MaRDI QIDQ2767195zbMATH OpenFDO

Authors Clemens Fischer, Heike Wehrheim

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_33

Mathematics Subject Classification ID

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

Recommendations

• Behavioral subtyping relations for active objects
• scientific article; zbMATH DE number 2143091
• scientific article; zbMATH DE number 4115919
• scientific article; zbMATH DE number 1860619
• On simulation, subtyping and substitutability in sequential object systems

Cited in

(28)

• Behavioral subtyping relations for active objects
• Class refinement as semantics of correct object substitutability
• Subtyping in OODBs
• On simulation, subtyping and substitutability in sequential object systems
• A complete algebraic characterization of behavioral subtyping
• Simulation of behaviour and object substitutability
• Subtyping in distributed systems
• Behavioural subtyping using invariants and constraints
• scientific article; zbMATH DE number 2089401 (Why is no real title available?)
• WP semantics and behavioral subtyping
• scientific article; zbMATH DE number 1231452 (Why is no real title available?)
• Refinement of generic classes as semantics of correct polymorphic reuse
• Model evolution and refinement
• scientific article; zbMATH DE number 2011482 (Why is no real title available?)
• scientific article; zbMATH DE number 1497873 (Why is no real title available?)
• scientific article; zbMATH DE number 2143091 (Why is no real title available?)
• scientific article; zbMATH DE number 4115919 (Why is no real title available?)
• scientific article; zbMATH DE number 1569128 (Why is no real title available?)
• scientific article; zbMATH DE number 1860619 (Why is no real title available?)
• scientific article; zbMATH DE number 1860620 (Why is no real title available?)
• A new formalization of subtyping to match subclasses to subtypes
• General refinement. I: Interfaces, determinism and special refinement
• General refinement. II: Flexible refinement
• Contexts, refinement and determinism
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Sound and relaxed behavioural inheritance
• Easy verification of behavioural subtyping in common cases
• Lazy behavioral subtyping

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Behavioural subtyping relations for object-oriented formalisms

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