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

DOI10.1007/3-540-55719-9_112zbMath1425.68082OpenAlexW1598364371MaRDI QIDQ5204355

Andrzej Tarlecki, Donald Sannella

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

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

Related Items (2)

Structured theory presentations and logic representations ⋮ Behavioural satisfaction and equivalence in concrete model categories

Uses Software

• ML

Cites Work

• Foundations of algebraic specification and formal software development.
• Structured algebraic specifications: A kernel language
• On observational equivalence and algebraic specification
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Specifications in an arbitrary institution
• Algebraic implementation of abstract data types
• Algebraic system specification and development. A survey and annotated bibliography
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Testing equivalences for processes
• Parameterized Programming
• Axioms for abstract model theory
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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