scientific article; zbMATH DE number 1525070
From MaRDI portal
Publication:4512408
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)
Recommendations
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 3819086 (Why is no real title available?)
- scientific article; zbMATH DE number 3911679 (Why is no real title available?)
- scientific article; zbMATH DE number 3918620 (Why is no real title available?)
- scientific article; zbMATH DE number 3942988 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4039263 (Why is no real title available?)
- scientific article; zbMATH DE number 4090765 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3723838 (Why is no real title available?)
- scientific article; zbMATH DE number 25966 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 46995 (Why is no real title available?)
- scientific article; zbMATH DE number 49833 (Why is no real title available?)
- scientific article; zbMATH DE number 3582349 (Why is no real title available?)
- scientific article; zbMATH DE number 408807 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1142323 (Why is no real title available?)
- scientific article; zbMATH DE number 3999258 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3305134 (Why is no real title available?)
- scientific article; zbMATH DE number 3311793 (Why is no real title available?)
- scientific article; zbMATH DE number 3318658 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Abstract data types and the development of data structures
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
- Data Type Specification: Parameterization and the Power of Specification Techniques
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Fixed-point constructions in order-enriched categories
- Generalized algebraic theories and contextual categories
- Initial Algebra Semantics and Continuous Algebras
- Locally cartesian closed categories and type theory
- Module algebra
- SIMULA: an ALGOL-based simulation language
- Sheaf semantics for concurrent interacting objects
- Sketches and computation – I: basic definitions and static evaluation
- Sketches and computation – II: dynamic evaluation and applications
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Specifications in an arbitrary institution
- Structured algebraic specifications: A kernel language
- Topoi. The categorial analysis of logic
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
Cited in
(5)
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 Q4512408)
