Radhia Cousot

Person · Open Library

Works

3

via Open Library + Wikidata

Recent publications · Crossref

5 total works indexed

1. Abstract interpretation

   · 1977 · cited 3,800x

2. Automatic discovery of linear restraints among variables of a program

   · 1978 · cited 982x

3. Systematic design of program analysis frameworks

   · 1979 · cited 946x

4. Abstract Interpretation Frameworks

   · 1992 · cited 464x

5. Abstract interpretation and application to logic programs