Abstract: The identification of errors in code via automated code analysis and repair is of ever-growing importance in modern software development and education. This paper describes a language ...