Title: Advanced Symbolic Analysis for Compilers
Subjects: Compilers (computer programs), Computer algorithms