Iterative methods of program analysis: Equalities and inequalities

DOI10.1007/BF01082683zbMath0800.68549MaRDI QIDQ4007457

No author found.

Publication date: 27 September 1992

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

program analysisprogram invariantsalgebras of data

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items

Analysis of linear definite iterative loops ⋮ A method of proving the invariance of linear inequalities for linear loops

Cites Work

• THE ABSTRACT THEORY OF AUTOMATA
• Invariant inequalities in programs interpreted over an ordered field
• On the Intersection of Finitely Generated Free Groups
• Unnamed Item
• Unnamed Item
• Unnamed Item