scientific article; zbMATH DE number 3412171
From MaRDI portal
Publication:5677070
zbMath0261.68023MaRDI QIDQ5677070
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
On proving the termination of algorithms by machine ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ An equational axiomatization for multi-exit iteration ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Efficient Symbolic Representations for Arithmetic Constraints in Verification ⋮ Translatability of flowcharts into while programs ⋮ A note on an expressiveness hierarchy for multi-exit iteration ⋮ Current methods for proving program correctness ⋮ On the mechanical derivation of loop invariants
This page was built for publication:
