scientific article; zbMATH DE number 3999262
From MaRDI portal
Publication:4725720
zbMATH Open0616.68015MaRDI QIDQ4725720FDOQ4725720
Authors: Donald Sannelly, Andrzej Tarlecki 
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
logical systemspecification languageinstitutionsemantics of Extended MLstepwise development of modular programs
Specification and verification (program logics, model checking, etc.) (68Q60) Special categories (18B99)
Cited In (22)
- Essential concepts of algebraic specification and program development
- A guided tour of the mathematics of MetaSoft '88
- Category-based modularisation for equational logic programming
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- CoFI with Don Sannella
- Title not available (Why is that?)
- Formal Islands
- Compatibility problems in the development of algebraic module specifications
- CASL: the Common Algebraic Specification Language.
- Constructing specification morphisms
- Title not available (Why is that?)
- Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\).
- Title not available (Why is that?)
- Recent Trends in Algebraic Development Techniques
- Parametricity as isomorphism
- Introducing \(H\), an institution-based formal specification and verification language
- Term charters
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
- Structured theory presentations and logic representations
- The definition of Extended ML: A gentle introduction
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- Toward formal development of programs from algebraic specifications: Implementations revisited
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 Q4725720)
