Publication:4510453
From MaRDI portal
zbMath0958.18001MaRDI QIDQ4510453
Publication date: 29 October 2000
Full work available at URL: https://eudml.org/doc/193061
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18C50: Categorical semantics of formal languages
18A10: Graphs, diagram schemes, precategories
Uses Software
Cites Work
- Structured algebraic specifications: A kernel language
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- Generalized algebraic theories and contextual categories
- Specifications in an arbitrary institution
- Topoi. The categorial analysis of logic
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Fixed-point constructions in order-enriched categories
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Locally cartesian closed categories and type theory
- Module algebra
- Data Type Specification: Parameterization and the Power of Specification Techniques
- Sheaf semantics for concurrent interacting objects
- Abstract data types and the development of data structures
- Initial Algebra Semantics and Continuous Algebras
- Sketches and computation – I: basic definitions and static evaluation
- Sketches and computation – II: dynamic evaluation and applications
- SIMULA: an ALGOL-based simulation language
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item