A N I N T R O D U C T I O N T O A M A T H E M A T I C A L T H E O R Y O F

A N I N T R O D U C T I O N T O A M A T H E M A T I C A L T H E O R Y O F G L O B A L P R O G R A M N A L Y S I S Pat r ick M. Cousot L a b o r a t o i r e d ' I n f o r m a t i q u e l l q M n t r p q 3 8 0 4 1 G r e n o b l e C e d e x Fra nce I l Y a r c h 1 9 7 7 J 1. INTRODUCTION P e r F o r m i n g c o m p i l e - t i m e o p t i m i z a L i o n o f n r o g r a n s t A l o & U l l n a n I l Z 1 , S r a r r q u a t - t e t a 1 . I u o ] , t - r - r c k e & s c h w a i ' t z [ 6 9 ] , H e c f r t l - 7 5 1 , S c h a e f e r [ 7 3 T , l d u 1 f e t a f .

• least solution


• ra tns


• finding invariant


• abb rev


• fra nce