Category:Abstract interpretation (computer science)
Jump to navigation
Jump to search
English: See Category:Polyhedra for examples of abstract interpretation domains.
approach to static program analysis | |||||
| Upload media | |||||
| Subclass of |
| ||||
|---|---|---|---|---|---|
| |||||
 | |||||
Media in category "Abstract interpretation (computer science)"
The following 6 files are in this category, out of 6 total.
-
3dpoly.svg 647 × 602; 9 KB
-
Abstract interpretation of integers by signs svg.svg 886 × 602; 134 KB
-
Abstract interpretation of integers by signs.pdf 1,475 × 1,002; 20 KB
-
Combination of abstract domains.svg 301 × 248; 46 KB
-
SetConstraintsAbstractInterpretation svg.svg 585 × 372; 71 KB
-
SetConstraintsAbstractInterpretation.pdf 972 × 618; 27 KB
