A constructive approach to the problem of program correctness
From MaRDI portal
Publication:5554728
DOI10.1007/BF01933419zbMath0167.46002OpenAlexW2078250023WikidataQ55899049 ScholiaQ55899049MaRDI QIDQ5554728
Publication date: 1968
Published in: BIT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01933419
Related Items (21)
Programming by action clusters ⋮ Proving programs correct: Some techniques and examples ⋮ Multilevel structured program designs and correctness proving ⋮ Stepwise refinement of heap-manipulating code in Chalice ⋮ When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science ⋮ Verification of distributed systems with local-global predicates ⋮ On correct refinement of programs ⋮ A programming model for BSP with partitioned synchronisation ⋮ Matrix Code ⋮ A survey of state vectors ⋮ Refunctionalization at work ⋮ Deriving dense linear algebra libraries ⋮ A survey of strategies in rule-based program transformation systems ⋮ Bridging arrays and ADTs in recursive proofs ⋮ A new approach to recursion removal ⋮ Transformational Programming and the Derivation of Algorithms ⋮ Correctness of parallel programs: The Church-Rosser approach ⋮ Provably correct derivation of algorithms using FermaT ⋮ Invariant based programming: Basic approach and teaching experiences ⋮ Synthetic programming ⋮ Proof of correctness of data representations
Cites Work
This page was built for publication: A constructive approach to the problem of program correctness
