scientific article; zbMATH DE number 3823107

MaRDI QIDQ3668831zbMATH OpenFDO

Authors K. Drosten, Martin Gogolla, Udo W. Lipeck, Hans-Dieter Ehrich

Publication date 1982

zbMATH Keywords

algebraic semanticsoperational semanticscorrectness of specificationsspecification of abstract data typeserror and exception handling

Mathematics Subject Classification ID

Data structures (68P05)

Cited in

(1)

• A set-theoretic semantics for Clear

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