[PDF][PDF] Automatic discovery of linear restraints among variables of a program
P Cousot, N Halbwachs - Proceedings of the 5th ACM SIGACT-SIGPLAN …, 1978 - dl.acm.org
Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of …, 1978•dl.acm.org
Automatic Discovery of Linear Restraints Among Variables of a Program Page 1 Conference
Record OZ the FIZtn AnnuaL ACM Symposium on Prlnclples or Programming Language
AUTOMATIC DISCOVERY OF LINEAR RESTRAINTS AMONGVARIABLES OF A PROGRAM
Patrick Cousot* and Nicolas Halbwachs** Laboratoire d’Informatique, USMG, BP. 53 38041
Grenoble c6dex, France 1. INTRODUCTION The model of abstract interpretation of programs
developed by Cousot[1976], Cousot [1977] is applied to the static determination of linear equality …
Record OZ the FIZtn AnnuaL ACM Symposium on Prlnclples or Programming Language
AUTOMATIC DISCOVERY OF LINEAR RESTRAINTS AMONGVARIABLES OF A PROGRAM
Patrick Cousot* and Nicolas Halbwachs** Laboratoire d’Informatique, USMG, BP. 53 38041
Grenoble c6dex, France 1. INTRODUCTION The model of abstract interpretation of programs
developed by Cousot[1976], Cousot [1977] is applied to the static determination of linear equality …
The model of abstract interpretation of programs developed by Cousot [1976], Cousot [1977] is applied to the static determination of linear equality or inequality relations among variables of programs.