"Pseudoformal" programming language compiler. Thesis project.