scientific article; zbMATH DE number 3909717
From MaRDI portal
Publication:3686016
zbMATH Open0569.68014MaRDI QIDQ3686016FDOQ3686016
Authors: Fernando Orejas
Publication date: 1983
Title of this publication is not available (Why is that?)
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
compositionimplementation correctnessalgebraic implementations of abstract data typessyntax and semantics of implementations
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
- Title not available (Why is that?)
- 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)