A constructive approach to the problem of program correctness
From MaRDI portal
Cited in
(24)- Invariant based programming: Basic approach and teaching experiences
- On correct refinement of programs
- A new approach to recursion removal
- Correctness of parallel programs: The Church-Rosser approach
- Multilevel structured program designs and correctness proving
- Stepwise refinement of heap-manipulating code in Chalice
- Bridging arrays and ADTs in recursive proofs
- Matrix Code
- A survey of strategies in rule-based program transformation systems
- Proof of correctness of data representations
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
- Verification of distributed systems with local-global predicates
- A survey of state vectors
- Deriving dense linear algebra libraries
- Transformational programming and the derivation of algorithms
- Programming by action clusters
- Proving programs correct: Some techniques and examples
- A programming model for BSP with partitioned synchronisation
- An active learning approach to synthesizing program contracts
- A query-based constraint acquisition approach for enhanced precision in program precondition inference
- Pop-Refinement
- Provably correct derivation of algorithms using FermaT
- Synthetic programming
- Refunctionalization at work
This page was built for publication: A constructive approach to the problem of program correctness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5554728)
