scientific article; zbMATH DE number 4131671

zbMATH Open0691.68056MaRDI QIDQ3033332FDOQ3033332

Author name not available (Why is that?)

Publication date: 1988

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

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 (6)

• Invariant inequalities in programs interpreted over an ordered field
• 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

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)