scientific article; zbMATH DE number 3999266

From MaRDI portal

Publication:4725724

Jump to:navigation, search

zbMath0616.68019MaRDI QIDQ4725724

Tobias Nipkow

Publication date: 1987

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

zbMATH Keywords

simulation partial algebras specifications bisimulation equivalence implementations proof method nondeterministic data types relation systems correctness of deterministic data types deterministic data types homomorphisms as implementation notions for abstract data types multi- algebras

Mathematics Subject Classification ID

Data structures (68P05) Theory of computing (68Q99)

Related Items

Impact of performance considerations on formal specification design ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ Splitting atoms safely ⋮ Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification ⋮ Elucidating concurrent algorithms via layers of abstraction and reification ⋮ Automatic Functional Correctness Proofs for Functional Search Trees

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