Skip to main navigation
Skip to search
Skip to main content
NYU Scholars Home
Help & FAQ
Home
Profiles
Research units
Research output
Search by expertise, name or affiliation
Abstract interpretation frameworks
Patrick Cousot
, Radhia Cousot
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Abstract interpretation frameworks'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Abstract Interpretation
100%
Semantics
60%
Framework
40%
Galois Connection
30%
Correctness
23%
Correspondence
18%
Iteration
15%
Arts & Humanities
Galois Connection
39%
Iteration
26%
Correctness
25%
Engineering & Materials Science
Semantics
47%
Relaxation
21%
Concretes
15%