scientific article; zbMATH DE number 3999262
From MaRDI portal
Publication:4725720
Recommendations
Cited in
(22)- Essential concepts of algebraic specification and program development
- A guided tour of the mathematics of MetaSoft '88
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Category-based modularisation for equational logic programming
- CoFI with Don Sannella
- scientific article; zbMATH DE number 1479621 (Why is no real title available?)
- Formal Islands
- Compatibility problems in the development of algebraic module specifications
- CASL: the Common Algebraic Specification Language.
- Constructing specification morphisms
- scientific article; zbMATH DE number 1696910 (Why is no real title available?)
- scientific article; zbMATH DE number 683361 (Why is no real title available?)
- Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\).
- 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)
