scientific article; zbMATH DE number 1142325
From MaRDI portal
Publication:4385541
zbMath0900.68307MaRDI QIDQ4385541
Publication date: 14 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Program logic and equivalence in the presence of garbage collection. ⋮ Stratified least fixpoint logic ⋮ Functional sorts in data type specifications ⋮ Relation-algebraic semantics ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Non-terminating processes in the situation calculus ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Verification conditions for source-level imperative programs ⋮ Proof-theoretic notions for software maintenance ⋮ Bottom-Up Shape Analysis ⋮ On the completeness of propositional Hoare logic ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
This page was built for publication:
