Thierry Despeyroux. Executable Specification of Static Semantics. In Gilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Volume 173 of Lecture Notes in Computer Science, pages 215-233, Springer, 1984.
@inproceedings{Despeyroux84,
title = {Executable Specification of Static Semantics},
author = {Thierry Despeyroux},
year = {1984},
tags = {semantics},
researchr = {https://researchr.org/publication/Despeyroux84},
cites = {0},
citedby = {0},
pages = {215-233},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings},
editor = {Gilles Kahn and David B. MacQueen and Gordon D. Plotkin},
volume = {173},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-13346-1},
}