An automatically generated, realistic compiler for imperative programming language

U. F. Pleban, P. Lee
1988 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation - PLDI '88  
cs.net We describe the automatic generation of a complete, realistic compiler from formal specifications of the syntax and semantics of Sol/C, a nontrivial imperative language "sort of like C." The compiler exhibits a three pass structure, is efficient, and produces object programs whose performance characteristics compare favorably with those produced by commercially available compilers. To our knowledge, this is the first time that this has been accomplished. with the size and speed of code
more » ... oduced by commercially available non-optimizing compilers.
doi:10.1145/53990.54012 dblp:conf/pldi/PlebanL88 fatcat:2fovtyfwjzcpna5vsywzjwd2qq