scientific article; zbMATH DE number 1525070

MaRDI QIDQ4512408zbMATH OpenFDO

Authors C. Oriat

Publication date 5 November 2000

Full work available at URL https://eudml.org/doc/193062

zbMATH Keywords

colimitsdiagramsmodular specificationsmodularityspecifications

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1555491
• Abstract and behaviour module specifications
• scientific article; zbMATH DE number 1522144
• Diagrammatic specifications
• Detecting equivalence of modular specifications with categorical diagrams

Cites work

• 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
• Fixed-point constructions in order-enriched categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized algebraic theories and contextual categories
• 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?)
• Initial Algebra Semantics and Continuous Algebras
• Locally cartesian closed categories and type theory
• Module algebra
• Sheaf semantics for concurrent interacting objects
• SIMULA: an ALGOL-based simulation language
• 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

(6)

• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• scientific article; zbMATH DE number 860044 (Why is no real title available?)
• Canonical selection of colimits
• Algebraic Methodology and Software Technology
• A language for configuring multi-level specifications

Describes a project that uses

Uses Software

• Simula 67

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)