File:Control flow graph of function with two if else statements.svg
Size of this PNG preview of this SVG file: 400 × 500 pixels. Other resolutions: 192 × 240 pixels | 384 × 480 pixels | 614 × 768 pixels | 819 × 1,024 pixels | 1,638 × 2,048 pixels.
Original file (SVG file, nominally 400 × 500 pixels, file size: 9 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | en:control flow graph of the example function on the en:cyclomatic complexity page.}} |So |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
- Abstract interpretation
- Cyclomatic complexity
- Dependence analysis
- E-graph
- Hoare logic
- Hyperproperty
- Model checking
- Path explosion
- Polyvariance
- Program analysis
- Program slicing
- SAT solver
- Safety and liveness properties
- Separation logic
- Side effect (computer science)
- Static program analysis
- Typestate analysis
- Template:Program analysis
Global file usage
The following other wikis use this file:
- Usage on it.wikipedia.org