scientific article; zbMATH DE number 3876564

zbMATH Open0549.68010MaRDI QIDQ3341871FDOQ3341871

Authors: Hartmut Ehrig, Werner Fey, Horst Hansen 

Publication date: 1983

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

Recommendations

• scientific article; zbMATH DE number 4213464
• scientific article; zbMATH DE number 4080877
• scientific article; zbMATH DE number 3956413
• Structured algebraic specifications: A kernel language
• scientific article; zbMATH DE number 3888893

zbMATH Keywords

initial algebraACT ONEalgebraic specification languagefree functor semanticsimplementation of parameterized data typesmodularization concepts for software design

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (11)

• A characterization of passing compatibility for parameterized specifications
• Algebraic specification of modules and their basic interconnections
• LOTOS extended with probabilistic behaviours
• Specifications in an arbitrary institution
• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
• Title not available (Why is that?)
• Manipulating algebraic specifications with term-based and graph-based representations
• Title not available (Why is that?)
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• A set-theoretic semantics for Clear
• Toward formal development of programs from algebraic specifications: Implementations revisited

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 Q3341871)