Uwe F. Pleban. Compiler prototyping using formal semantics. In Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984. pages 94-105, ACM, 1984. [doi]
@inproceedings{Pleban84:0,
title = {Compiler prototyping using formal semantics},
author = {Uwe F. Pleban},
year = {1984},
doi = {10.1145/502874.502883},
url = {http://doi.acm.org/10.1145/502874.502883},
tags = {semantics, formal semantics, compiler},
researchr = {https://researchr.org/publication/Pleban84%3A0},
cites = {0},
citedby = {0},
pages = {94-105},
booktitle = {Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984},
publisher = {ACM},
}