Skip to content

Quire

Search Quire

Log in Create account

Theme

Text

Width

Explore

Main page Random article Quire Paths Languages

Yours

Reading lists Your trails Log in Create account

Community

Recent changes Quire changes Sync review

Help

Editing help Quire templates About Quire

Category:Program analysis

Read Edit History

Read Edit History

23 pages in this category, from Quire and Wikipedia.

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 analysis
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

QuireThe open reference anyone can read and edit.

Text is available under the Creative Commons Attribution-ShareAlike 4.0 License; additional terms may apply. Articles marked as mirrored or imported come from Wikipedia and its contributors, with a link to the source revision on each page. Images belong to their authors under the licenses shown on their source pages.

About Licensing Privacy Templates Recent changes Back to top

Home Paths Lists Log in