Correctness of dataflow and systolic algorithms using algebras of streams

DOI10.1007/PL00013322zbMath1032.68106OpenAlexW2042673744MaRDI QIDQ5950718

Karl Meinke, L. J. Steggles

Publication date: 13 December 2001

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00013322

zbMATH Keywords

specificationsecond-order equational logicverification of hardware algorithms

Mathematics Subject Classification ID

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

Related Items (4)

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 ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

Uses Software

• Unnamed Item

This page was built for publication: Correctness of dataflow and systolic algorithms using algebras of streams