Title: Static Analysis
Subjects: Mathematical Logic and Formal Languages, Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Computer programming, Congresses, Programming languages (Electronic computers)