scientific article

From MaRDI portal

Revision as of 14:10, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3341871

Jump to:navigation, search

zbMath0549.68010MaRDI QIDQ3341871

Hartmut Ehrig, Horst Hansen, Werner Fey

Publication date: 1983

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

zbMATH Keywords

initial algebra ACT ONE algebraic specification language free functor semantics implementation of parameterized data types modularization concepts for software design

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (9)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3341871&oldid=16588713"