C. A. R. Hoare, Jifeng He, Augusto Sampaio. Algebraic derivation of an operational semantics. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 77-98, The MIT Press, 2000.
@inproceedings{HoareJS00,
title = {Algebraic derivation of an operational semantics},
author = {C. A. R. Hoare and Jifeng He and Augusto Sampaio},
year = {2000},
tags = {semantics, C++, algebra, operational semantics},
researchr = {https://researchr.org/publication/HoareJS00},
cites = {0},
citedby = {0},
pages = {77-98},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
publisher = {The MIT Press},
isbn = {978-0-262-16188-6},
}