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