Generalizations of algorithms that find invariant relationships in programs over algebra of terms

DOI10.1007/BF02366578zbMath0879.68071MaRDI QIDQ1364103

O. Diekmann

Publication date: 12 January 1998

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

free algebrasprogram invariants

Mathematics Subject Classification ID

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

Related Items (1)

Intersection of term equality sets in finitely defined algebras

Cites Work

• Variations on the Common Subexpression Problem
• Unnamed Item

This page was built for publication: Generalizations of algorithms that find invariant relationships in programs over algebra of terms