The MIT Press @mitpress.bsky.social@mitpress
In this book, learn about how static program analysis, or static analysis, aims to discover semantic properties of programs without running them. Learn more:
@kwangkeun #StaticAnalysis #ComputerSystems #ComputerScience
027






