Pages that link to "Item:Q5554728"
From MaRDI portal
The following pages link to A constructive approach to the problem of program correctness (Q5554728):
Displaying 22 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- A survey of state vectors (Q458456) (← links)
- Deriving dense linear algebra libraries (Q469358) (← links)
- A programming model for BSP with partitioned synchronisation (Q640293) (← links)
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Synthetic programming (Q761788) (← links)
- Refunctionalization at work (Q923881) (← links)
- Invariant based programming: Basic approach and teaching experiences (Q1019025) (← links)
- On correct refinement of programs (Q1157144) (← links)
- A new approach to recursion removal (Q1185010) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
- Bridging arrays and ADTs in recursive proofs (Q2233489) (← links)
- Matrix Code (Q2441509) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Proof of correctness of data representations (Q2554952) (← links)
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science (Q2963950) (← links)
- Transformational Programming and the Derivation of Algorithms (Q4932639) (← links)
- Programming by action clusters (Q5578560) (← links)
- Proving programs correct: Some techniques and examples (Q5606282) (← links)
- An active learning approach to synthesizing program contracts (Q6550595) (← links)
