scientific article; zbMATH DE number 1522144

zbMath0958.18001MaRDI QIDQ4510453

C. Oriat

Publication date: 29 October 2000

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

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

zbMATH Keywords

modularityspecificationsdiagramscolimits

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

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

This page was built for publication: