scientific article; zbMATH DE number 3909717

MaRDI QIDQ3686016zbMATH OpenFDO

Authors Fernando Orejas

Publication date 1983

zbMATH Keywords

compositionimplementation correctnessalgebraic implementations of abstract data typessyntax and semantics of implementations

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3880084
• Compositional heterogeneous abstraction
• Compositional construction of approximate abstractions
• Compositional characterization of observable program properties
• Abstraction and composition: a verification method for co-operating systems
• scientific article; zbMATH DE number 3990846
• scientific article; zbMATH DE number 4007703
• scientific article; zbMATH DE number 3938540

Cited in

(9)

• Essential concepts of algebraic specification and program development
• Abstraction over implementation structure with symmetrically encapsulated multimethods
• Structured algebraic specifications: A kernel language
• Horizontal Composability Revisited
• scientific article; zbMATH DE number 3898212 (Why is no real title available?)
• Ensuring reachability by design
• On the implementation of abstract data types by programming language constructs
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Toward formal development of programs from algebraic specifications: Implementations revisited

This page was built for publication:

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