GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Main page
  • Contents
  • Current events
  • Random article
  • About Wikipedia
  • Contact us
  • Help
  • Learn to edit
  • Community portal
  • Recent changes
  • Upload file
  • Special pages
  • Search
  • Donate

This view

  • Original page
  • New address

GeezerVison is showing en.wikipedia.org — Category:Program analysis - Wikipedia

Help
Wikimedia Commons logo
Wikimedia Commons has media related to Program analysis.
The main article for this category is Program analysis.

Subcategories

This category has the following 7 subcategories, out of 7 total.

C

  • Compiler optimizations (63 P)
  • Control-flow analysis (7 P)

D

  • Data-flow analysis (9 P)
  • Dynamic program analysis (2 P)

I

  • Incremental computing (1 C, 4 P)

S

  • Software metrics (48 P)
  • Static program analysis (3 C, 24 P)

Pages in category "Program analysis"

The following 23 pages are in this category, out of 23 total. This list may not reflect recent changes.

 

  • Program analysis

A

  • Abstract interpretation
  • Aliasing (computing)

C

  • Compiler-compiler
  • Context-free language reachability

D

  • Dynamic program analysis

E

  • Effect system

F

  • Flow-sensitive typing

H

  • Hyperproperty

K

  • KPI-driven code analysis

P

  • Path explosion
  • Perl::Critic
  • Polyvariance
  • Program slicing

R

  • Reaching definition

S

  • Search-based software engineering
  • Semantic analysis (compilers)
  • Static program analysis
  • Symbolic execution

T

  • Type system
  • Typestate analysis
  • Typing environment
  • Typing rule
Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Program_analysis&oldid=857471779"
Categories:
  • Analysis
  • Compiler construction
  • Formal methods
  • Programming language theory
Hidden category:
  • Commons category link from Wikidata
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.