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

Situated Software (2004)
web.archive.orgยท1dยท
Discuss: Hacker News