Proving systolic systems correct

DOI10.1145/5956.5999MaRDI QIDQ3732952zbMATH OpenOpenAlexFDO

Authors Matthew Hennessy

Publication date 1986

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1986-8/

zbMATH Keywords

algorithmsimplementationsinductionproof systemspecificationssyntactic transformationsverification

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4056974
• scientific article; zbMATH DE number 4018375
• A language of specified programs
• Semantics of communicating processes
• scientific article; zbMATH DE number 3938554

Cited in

(7)

• Higher-level synchronising devices in Meije-SCCS
• Automatic verification of a class of systolic circuits
• To the role of decomposition strategy in high parallel algorithms
• scientific article; zbMATH DE number 4056974 (Why is no real title available?)
• scientific article; zbMATH DE number 1290992 (Why is no real title available?)
• Generic systolic arrays: A methodology for systolic design
• Synthesis, structure and power of systolic computations

This page was built for publication: Proving systolic systems correct

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3732952)