Title: Advanced symbolic analysis for compilers
Subjects: Computer algorithms, Compilers (Computer programs)