R
Radhia Cousot
Researcher at Centre national de la recherche scientifique
Publications - 68
Citations - 14500
Radhia Cousot is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Abstract interpretation & Static analysis. The author has an hindex of 30, co-authored 68 publications receiving 13958 citations. Previous affiliations of Radhia Cousot include École Polytechnique & École Normale Supérieure.
Papers
More filters
Journal ArticleDOI
Parsing as abstract interpretation of grammar semantics
Patrick Cousot,Radhia Cousot +1 more
TL;DR: Earley's parsing algorithm is shown to be an abstract interpretation of a refinement of the derivation semantics of context-free grammars.
Book ChapterDOI
Grammar analysis and parsing by abstract interpretation
Patrick Cousot,Radhia Cousot +1 more
TL;DR: The result is a hierarchy of bottom-up or top-down semantics refining the classical equational and derivational language semantics and including Knuth grammar problem, classical grammar flow analysis algorithms, and parsing algorithms.
Journal ArticleDOI
“A la Burstall” intermittent assertions induction principles for proving inevitability properties of programs
Patrick Cousot,Radhia Cousot +1 more
TL;DR: A stronger semantic completeness result is proved in the sense that the propositions and lemmas involved in “a la Burstall” inevitability proofs can be chosen freely (at least under necessary and sufficient conditions that are specified accurately).
Relational abstract interpretation of higher-order functional programs
Patrick Cousot,Radhia Cousot +1 more
TL;DR: When the abstract domain is finite, this approach can easily be generalized to higher order functional languages as shown for example by as discussed by the authors, which leads to combinatorial explosion problems as observed, for example, instrictness analysis of higher-order functional languages.
Book ChapterDOI
Galois connection based abstract interpretations for strictness analysis
Patrick Cousot,Radhia Cousot +1 more
TL;DR: The abstract interpretation framework based upon the approximation of a fixpoint collecting semantics using Galois connections and widening/narrowing operators on complete lattices has been considered difficult to apply to Mycroft's strictness analysis [Myc80, Myc81] for which denotational semantics was though to be more adequate (because nontermination has to be taken into account), see e.g. [AH87], page 25.