Title: Validation of the analysis pass of the CLEOPATRA compiler
Subjects: Compiling (Electronic computers), CLEOPATRA (Computer program language)