Analysis of Modular Arithmetic

This publication has 9 references indexed in Scilit:

• Computing polynomial program invariants
  Information Processing Letters, 2004
• A Note on Karr’s Algorithm
  Published by Springer Nature ,2004
• Precise interprocedural analysis through linear algebra
  ACM SIGPLAN Notices, 2004
• Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
  Published by Springer Nature ,2003
• Discovering affine equalities using random interpretation
  Published by Association for Computing Machinery (ACM) ,2003
• Asymptotically Fast Triangularization of Matrices over Rings
  SIAM Journal on Computing, 1991
• Static analysis of linear congruence equalities among variables of a program
  Published by Springer Nature ,1991
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Affine relationships among variables of a program
  Acta Informatica, 1976