Radhia Cousot
Radhia Cousot (6 August 1947 – 1 May 2014) was a French computer scientist known for inventing abstract interpretation. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Cousot, Radhia', query time: 0.04s
Refine Results
-
1
Static analysis /
Published 1996Other Authors: “…Cousot, Radhia…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Clasificación del lenguaje
Grammars and other rewriting systems
Gramáticas y otros sistemas de reescritura
Language classifications
Language constructs and features
Lenguaje-construcción y características
Metrics
Métrica
Programación-Técnicas
Programas-Especificación
Programas-Verificación
Programming techniques
Programs-Specification
Programs-Verification
Semantics of programming languages
Semántica de lenguajes de programación