Title: Program analysis and compilation, theory and practice
Subjects: Compilers (Computer programs), Computer programs, Computer programming, Verification, Congresses