Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

The Jargon File (1991)
jargon-file.org·5d·
Discuss: Hacker News