S. Purushothaman, Jill Seaman
From Operational Definitions to Abstract Semantics
FPCA, 1993.
@inproceedings{FPCA-1993-PurushothamanS,
author = "S. Purushothaman and Jill Seaman",
booktitle = "{Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture}",
isbn = "0-89791-595-X",
pages = "276--288",
publisher = "{ACM Press}",
title = "{From Operational Definitions to Abstract Semantics}",
year = 1993,
}











