Toward formal development of programs from algebraic specifications: model-theoretic foundations

DOI10.1007/3-540-55719-9_112MaRDI QIDQ5204355zbMATH OpenOpenAlexFDO

Authors Donald Sannella, Andrzej Tarlecki

Publication date 4 December 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55719-9_112

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 3936493
• Combining algebraic specifications and procedural tools for correct program development
• Foundations of algebraic specification and formal software development.
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cites work

• Algebraic implementation of abstract data types
• Algebraic system specification and development. A survey and annotated bibliography
• Axioms for abstract model theory
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 3837407 (Why is no real title available?)
• scientific article; zbMATH DE number 4180831 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3909717 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 4092745 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 176530 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• On observational equivalence and algebraic specification
• Parameterized Programming
• Specifications in an arbitrary institution
• Structured algebraic specifications: A kernel language
• Testing equivalences for processes
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(9)

• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Structured theory presentations and logic representations
• A new roadmap for linking theories of programming
• scientific article; zbMATH DE number 3847387 (Why is no real title available?)
• scientific article; zbMATH DE number 3936493 (Why is no real title available?)
• scientific article; zbMATH DE number 3937124 (Why is no real title available?)
• scientific article; zbMATH DE number 4766 (Why is no real title available?)
• scientific article; zbMATH DE number 5042669 (Why is no real title available?)
• Behavioural satisfaction and equivalence in concrete model categories

Describes a project that uses

Uses Software

• ML

This page was built for publication: Toward formal development of programs from algebraic specifications: model-theoretic foundations

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