scientific article

From MaRDI portal

Revision as of 21:20, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3917480

Jump to:navigation, search

zbMath0465.68006MaRDI QIDQ3917480

Hartmut Ehrig

Publication date: 1981

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

zbMATH Keywords

algebraic specifications abstract data types parameterized specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (7)

Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Algebraic specification of modules and their basic interconnections ⋮ A characterization of passing compatibility for parameterized specifications ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Canonical constraints for parameterized data types ⋮ Compatibility of parameter passing and implementation of parameterized data types ⋮ Parameter passing in algebraic specification languages

This page was built for publication:

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