scientific article; zbMATH DE number 4113952
From MaRDI portal
Publication:4729318
zbMath0679.68026MaRDI QIDQ4729318
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (18)
Constructor-based observational logic ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Proving the correctness of behavioural implementations ⋮ Proof systems for structured specifications with observability operators ⋮ Observational implementation of algebraic specifications ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ Behavioural theories and the proof of behavioural properties ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ Observational specifications and the indistinguishability assumption ⋮ On the correctness of modular systems ⋮ A semi-algorithm for algebraic implementation proofs ⋮ Behavioural and abstractor specifications revisited ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic ⋮ Observational proofs by rewriting. ⋮ Two impossibility theorems on behaviour specification of abstract data types ⋮ Behavioural satisfaction and equivalence in concrete model categories
This page was built for publication:
