Discovery of invariant equalities in programs over data fields

DOI10.1007/BF01200151MaRDI QIDQ1311622zbMATH OpenOpenAlexFDO

Authors V. Pereyra

Publication date 1 February 1994

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01200151

zbMATH Keywords

invariant polynomial equalities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Publication:4729341
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 3911682
• Invariant inequalities in programs interpreted over an ordered field
• Polynomial invariants generation of programs

Cites work

• scientific article; zbMATH DE number 3489250 (Why is no real title available?)
• Affine relationships among variables of a program

Cited in

(13)

• Invariant inequalities in programs interpreted over an ordered field
• The Daikon system for dynamic detection of likely invariants
• A data driven approach for algebraic loop invariants
• The map equality domain
• Analysis of linear definite iterative loops
• scientific article; zbMATH DE number 4113989 (Why is no real title available?)
• Nonlinear invariants for linear loops and eigenpolynomials of linear operators
• The structure of polynomial invariants of linear loops
• scientific article; zbMATH DE number 4131671 (Why is no real title available?)
• A method of proving the invariance of linear inequalities for linear loops
• Computing polynomial program invariants
• Polynomial invariants for linear loops
• scientific article; zbMATH DE number 3911682 (Why is no real title available?)

This page was built for publication: Discovery of invariant equalities in programs over data fields

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