Commit a8748dfc authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent 59d24033
......@@ -1648,14 +1648,14 @@ in JavaScript verification; and the feasibility of automatic compositional testi
@InProceedings{Bodin2019Skeletal,
author = {Martin Bodin and Philippa Gardner and Thomas Jensen and Alan Schmitt},
title = {Skeletal Semantics and their Interpretations},
journal = booktitle = {Proceedings of the 46\textsuperscript{th} {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages {(POPL'19)}},
booktitle = {Proceedings of the 46\textsuperscript{th} {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages (POPL'19)},
volume = {3},
number = {{POPL}},
year = {2019},
project = { web },
doi = {10.1145/3290357},
abstract = { The development of mechanised language specification based on structured operational semantics, with
abstract = {The development of mechanised language specification based on structured operational semantics, with
applications to verified compilers and sound program analysis, requires huge effort. General theory and
frameworks have been proposed to help with this effort. However, none of this work provides a systematic way
of developing concrete and abstract semantics, connected together by a general consistency result. We introduce
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment