scientific article; zbMATH DE number 1525070

zbMath0958.18002MaRDI QIDQ4512408

C. Oriat

Publication date: 5 November 2000

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modularityspecificationsdiagramscolimitsmodular specifications

Mathematics Subject Classification ID

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

Uses Software

• Simula 67

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
• Unnamed Item
• Unnamed Item

This page was built for publication: