scientific article; zbMATH DE number 3936498

MaRDI QIDQ3707387zbMATH OpenFDO

Authors C. Beierle, Angelika Voß

Publication date 1985

zbMATH Keywords

abstract data typesimplementation conceptinstitutionloose specifications

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3990846
• scientific article; zbMATH DE number 3954253
• scientific article; zbMATH DE number 4043230
• Toward formal development of programs from algebraic specifications: Implementations revisited
• scientific article; zbMATH DE number 3878342

Cited in

(18)

• Toward formal development of programs from algebraic specifications: Implementations revisited
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• On the lattice of specifications: Applications to a specification methodology
• Implementing specifications by dynamic inheritance
• Structured theory presentations and logic representations
• Exact implementation
• Abstract implementation of algebraic specifications in a temporal logic language
• scientific article; zbMATH DE number 3878342 (Why is no real title available?)
• scientific article; zbMATH DE number 3954253 (Why is no real title available?)
• scientific article; zbMATH DE number 3990846 (Why is no real title available?)
• scientific article; zbMATH DE number 4043230 (Why is no real title available?)
• Very abstract specifications: a formalism independent approach
• scientific article; zbMATH DE number 1104402 (Why is no real title available?)
• scientific article; zbMATH DE number 1949594 (Why is no real title available?)
• scientific article; zbMATH DE number 1368953 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• Definition-like Extensions by Sorts
• Specification completion for IOCO

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 Q3707387)