Commit 595f79a6 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update publications.bib

parent aa7c1925
......@@ -1716,7 +1716,7 @@ and fully mechanise a novel, big-step semantics of WebAssembly, which we prove e
to transitive closure, to the original WebAssembly small-step semantics. Wasm Logic is the first
program logic for WebAssembly, and represents a first step towards the creation of static analysis
tools for WebAssembly.},
annote = {Keywords: WebAssembly, program logic, separation logic, soundness, mechanisation}
annote = {Keywords: WebAssembly, program logic, separation logic, soundness, mechanisation},
}
@Article{ Dinsdale-Young2010Locality,
......
Markdown is supported
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