scientific article; zbMATH DE number 1525070

zbMATH Open0958.18002MaRDI QIDQ4512408FDOQ4512408

Authors: C. Oriat 

Publication date: 5 November 2000

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

modularitydiagramscolimitsspecificationsmodular specifications

Mathematics Subject Classification ID

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)

Cites Work

• SIMULA: an ALGOL-based simulation language
• Topoi. The categorial analysis of logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Initial Algebra Semantics and Continuous Algebras
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Title not available (Why is that?)
• Generalized algebraic theories and contextual categories
• Locally cartesian closed categories and type theory
• Title not available (Why is that?)
• Sheaf semantics for concurrent interacting objects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Module algebra
• Specifications in an arbitrary institution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Title not available (Why is that?)
• Structured algebraic specifications: A kernel language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Title not available (Why is that?)
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sketches and computation – II: dynamic evaluation and applications
• Fixed-point constructions in order-enriched categories
• Title not available (Why is that?)
• Abstract data types and the development of data structures
• Title not available (Why is that?)
• Sketches and computation – I: basic definitions and static evaluation
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• A language for configuring multi-level specifications
• Canonical selection of colimits
• Algebraic Methodology and Software Technology
• Title not available (Why is that?)
• Title not available (Why is that?)

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)