Interprocedurally Analyzing Polynomial Identities
Authors:
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 50-67
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A Generic Framework for Interprocedural Analysis of Numerical Properties2005
- Computing polynomial program invariantsInformation Processing Letters, 2004
- A Note on Karr’s Algorithm2004
- Approximating the Algebraic Relational Semantics of Imperative ProgramsLecture Notes in Computer Science, 2004
- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants2004
- Precise interprocedural analysis through linear algebraACM SIGPLAN Notices, 2004
- Non-linear loop invariant generation using Gröbner basesACM SIGPLAN Notices, 2004
- Automatic generation of invariants and intermediate assertionsTheoretical Computer Science, 1997
- Affine relationships among variables of a programActa Informatica, 1976
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976