Correctness of dataflow and systolic algorithms using algebras of streams
From MaRDI portal
Publication:5950718
DOI10.1007/PL00013322zbMath1032.68106MaRDI QIDQ5950718
Publication date: 13 December 2001
Published in: Acta Informatica (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms, A completeness theorem for the expressive power of higher-order algebraic specifications, Proof theory of higher-order equations: Conservativity, normal forms and term rewriting., Verifying an infinite systolic algorithm using third-order equational methods
Uses Software