A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
An automatically generated, realistic compiler for imperative programming language
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
doi:10.1145/53990.54012
dblp:conf/pldi/PlebanL88
fatcat:2fovtyfwjzcpna5vsywzjwd2qq