Semantic definitions in Refal and automatic production of compilers. Semantics-Directed Compiler Generation (1980)

by Valentin F Turchin
Venue:Lecture Notes in Computer Science