From d600457b58b82d444405785af1198fbe454cc80b Mon Sep 17 00:00:00 2001
From: Shale XIONG <>
Date: Fri, 2 Feb 2018 16:52:56 +0000
Subject: [PATCH] minor mistake
---
publications.bib | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/publications.bib b/publications.bib
index f5a0d77..713b7a9 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1436,11 +1436,7 @@ the JavaScript variable store.},
file = {:Gardner2013JuS.pdf:PDF},
}
@article{FragosoSantos2018JaVerT,
- author = {Jos{\'{e}} {Fragoso Santos} and
- Petar Maksimovi\'{c} and
- Daiva Naud\v{z}i\={u}nien\.{e} and
- Thomas Wood and
- Philippa Gardner},
+ author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Daiva Naud\v{z}i\={u}nien\.{e} and Thomas Wood and Philippa Gardner},
title = {JaVerT: JavaScript verification toolchain},
journal = {{PACMPL}},
volume = {2},
@@ -1463,7 +1459,9 @@ operations on data structures such as binary search trees (BSTs) and lists; exam
and test cases from the official ECMAScript test suite. The verification times suggest that reasoning about larger,
more complex code using JaVerT is feasible.
},
- @inproceedings{FragosoSantos2015Modular,
+}
+
+@inproceedings{FragosoSantos2015Modular,
author = {Jos{\'{e}} Fragoso Santos and
Tamara Rezk and
Ana Almeida Matos},
@@ -1513,7 +1511,8 @@ more complex code using JaVerT is feasible.
typed at static time are wrapped inside an internal boundary statement used
by the semantics to interleave the execution of statically verified code
with the execution of code that must be dynamically checked.},
- }
+}
+
@Comment{jabref-meta: databaseType:bibtex;}
@Comment{jabref-meta: saveActions:enabled;
--
GitLab