Toward formal development of programs from algebraic specifications: Model-theoretic foundations
From MaRDI portal
Publication:5204355
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
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
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