scientific article; zbMATH DE number 3936493

MaRDI QIDQ3707381zbMATH OpenFDO

Authors Donald Sannella, Andrzej Tarlecki

Publication date 1985

zbMATH Keywords

algebraic specificationbehavioral equivalenceevolution of programsspecification languagesstatementstepwise refinement

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 4129965
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• scientific article; zbMATH DE number 1004364

Cited in

(31)

• Toward formal development of programs from algebraic specifications: Implementations revisited
• Algebraic specification and proof of a distributed recovery algorithm
• Algebraic specifications are not difficult to write
• Algebraic specification of documents
• Algebraic specification of reactive systems
• Algebraic foundations for specification refinements
• On formal specification of Maple programs
• A new roadmap for linking theories of programming
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 1004364 (Why is no real title available?)
• scientific article; zbMATH DE number 3872655 (Why is no real title available?)
• scientific article; zbMATH DE number 3880080 (Why is no real title available?)
• scientific article; zbMATH DE number 3890710 (Why is no real title available?)
• Algebraic properties for free!
• scientific article; zbMATH DE number 3905828 (Why is no real title available?)
• scientific article; zbMATH DE number 3936503 (Why is no real title available?)
• scientific article; zbMATH DE number 3936505 (Why is no real title available?)
• scientific article; zbMATH DE number 4111989 (Why is no real title available?)
• scientific article; zbMATH DE number 713868 (Why is no real title available?)
• scientific article; zbMATH DE number 1988995 (Why is no real title available?)
• scientific article; zbMATH DE number 2143090 (Why is no real title available?)
• scientific article; zbMATH DE number 3285 (Why is no real title available?)
• scientific article; zbMATH DE number 4766 (Why is no real title available?)
• scientific article; zbMATH DE number 10084 (Why is no real title available?)
• scientific article; zbMATH DE number 4115946 (Why is no real title available?)
• scientific article; zbMATH DE number 845595 (Why is no real title available?)
• scientific article; zbMATH DE number 3892553 (Why is no real title available?)
• An Informal Approach to Formal (Algebraic) Specifications
• Toward formal development of programs from algebraic specifications: model-theoretic foundations
• Generalization of final algebra semantics by relativization
• Characterizing specification languages which admit initial semantics

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