The derivation of systolic computations

DOI10.1016/0167-6423(90)90021-5zbMath0709.68020OpenAlexW2158031696MaRDI QIDQ921907

Anne Kaldewaij, Martin Rem

Publication date: 1990

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(90)90021-5

zbMATH Keywords

systolic algorithmsderivation of parallel programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (16)

Proof rules for recursive procedures ⋮ Assumption propagation through annotated programs ⋮ The co-invariant generator: An aid in deriving loop bodies ⋮ Toward an Automatic Approach to Greedy Algorithms ⋮ An elementary and unified approach to program correctness ⋮ On building cyclic and shared structures in Haskell ⋮ Experiments in program verification using Event-B ⋮ Verification conditions for source-level imperative programs ⋮ Proving Quicksort Correct in Event-B ⋮ Rank order filters and priority queues ⋮ Elimination Techniques for Program Analysis ⋮ On designing stacked canons with relative chord tones ⋮ Combining Top-Down and Bottom-Up Techniques in Program Derivation ⋮ Fifty years of Hoare's logic ⋮ Program Calculation in Coq ⋮ Theories for mechanical proofs of imperative programs

This page was built for publication: The derivation of systolic computations