scientific article

From MaRDI portal

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

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

Publication:3725523

Jump to:navigation, search

zbMath0594.68013MaRDI QIDQ3725523

Horst Reichel

Publication date: 1986

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

zbMATH Keywords

algebraic theories partial algebras behavioural semantics initial semantics behavioural specification of stacks initial restrictions parameterized software modules pushable values

Mathematics Subject Classification ID

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

Related Items (4)

Proof systems for structured specifications with observability operators ⋮ Behavioural theories and the proof of behavioural properties ⋮ A semi-algorithm for algebraic implementation proofs ⋮ Non-deterministic data types: Models and implementations

This page was built for publication:

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