scientific article; zbMATH DE number 4131671

zbMATH Open0691.68056MaRDI QIDQ3033332FDOQ3033332

Authors:

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3934388
• Discovery of invariant equalities in programs over data fields
• Invariants and well-foundedness in program algebra
• The equivalence problem and correctness formulas for a simple class of programs
• scientific article; zbMATH DE number 3883587
• A case of insolubility of the problem of equivalence of programs
• Invariant inequalities in programs interpreted over an ordered field
• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• scientific article; zbMATH DE number 4094778

zbMATH Keywords

invariantsprogram schemesmethods of lower and upper approximation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Cited In (7)

• Invariant inequalities in programs interpreted over an ordered field
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithm to find invariant linear inequality constraints in programs
• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• Heuristic search for invariants for one class of programs. 6

This page was built for publication:

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