Ruben Smelik, Arend Rensink, Harmen Kastenberg. Specification and Construction of Control Flow Semantics. In 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK. pages 65-72, IEEE Computer Society, 2006. [doi]
@inproceedings{SmelikRK06,
title = {Specification and Construction of Control Flow Semantics},
author = {Ruben Smelik and Arend Rensink and Harmen Kastenberg},
year = {2006},
doi = {10.1109/VLHCC.2006.45},
url = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.45},
tags = {semantics, data-flow},
researchr = {https://researchr.org/publication/SmelikRK06},
cites = {0},
citedby = {0},
pages = {65-72},
booktitle = {2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK},
publisher = {IEEE Computer Society},
isbn = {0-7695-2586-5},
}