Essential concepts of algebraic specification and program development
From MaRDI portal
Publication:1377322
DOI10.1007/BF01211084zbMath0887.68070MaRDI QIDQ1377322
Donald Sannella, Andrzej Tarlecki
Publication date: 4 February 1998
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Related Items (13)
Algebraic Signatures Enriched by Dependency Structure ⋮ Development graphs -- proof management for structured specifications ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS ⋮ A coalgebraic perspective on logical interpretations ⋮ The definition of Extended ML: A gentle introduction ⋮ Observational Refinement Process ⋮ A Coalgebraic Semantics of Subtyping ⋮ Observational interpretation of Casl specifications ⋮ An algebraic approach to population-based evolutionary algorithm generation ⋮ An abstract formalization of correct schemas for program synthesis ⋮ CASL: the Common Algebraic Specification Language. ⋮ Logical systems for structured specifications.
Uses Software
Cites Work
- Foundations of algebraic specification and formal software development.
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- On the correctness of modular systems
- Program development by specification and transformation. The PROSPECTRA methodology, language family, and system
- 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
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- Algebraic implementation of abstract data types
- Some notes on putting formal specifications to productive use
- Modularising the specification of a small database system in extended ML
- Algebraic system specification and development. A survey and annotated bibliography
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Two impossibility theorems on behaviour specification of abstract data types
- Structured theory presentations and logic representations
- Testing equivalences for processes
- The definition of Extended ML: A gentle introduction
- Behavioural and abstractor specifications
- Proof of correctness of data representations
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Essential concepts of algebraic specification and program development
