Pages that link to "Item:Q921907"
From MaRDI portal
The following pages link to The derivation of systolic computations (Q921907):
Displaying 16 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- An elementary and unified approach to program correctness (Q607408) (← links)
- Rank order filters and priority queues (Q1200916) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- Proof rules for recursive procedures (Q1329196) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- On building cyclic and shared structures in Haskell (Q1941875) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Assumption propagation through annotated programs (Q2628303) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- Elimination Techniques for Program Analysis (Q4916078) (← links)
- On designing stacked canons with relative chord tones (Q4922600) (← links)
- Toward an Automatic Approach to Greedy Algorithms (Q5321722) (← links)
- Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) (← links)
