Kyung-Goo Doh, David A. Schmidt. Extraction of Strong Typing Laws from Action Semantics Definitions. In Bernd Krieg-Brückner, editor, ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 582 of Lecture Notes in Computer Science, pages 151-166, Springer, 1992.
@inproceedings{DohS92,
title = {Extraction of Strong Typing Laws from Action Semantics Definitions},
author = {Kyung-Goo Doh and David A. Schmidt},
year = {1992},
tags = {semantics, action semantics},
researchr = {https://researchr.org/publication/DohS92},
cites = {0},
citedby = {0},
pages = {151-166},
booktitle = {ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings},
editor = {Bernd Krieg-Brückner},
volume = {582},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55253-7},
}