From eacf0de62fd21f96ab99a1c6bab64bf3bb22c118 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 4 Oct 2017 14:23:34 +0100 Subject: [PATCH] Update 2017-08-12-cade.md --- _posts/2017-08-12-cade.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/_posts/2017-08-12-cade.md b/_posts/2017-08-12-cade.md index 7c5f9af..a11b035 100644 --- a/_posts/2017-08-12-cade.md +++ b/_posts/2017-08-12-cade.md @@ -10,7 +10,6 @@ and [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/) This position paper proposes a possible pathway to achieve scalable symbolic verification of JavaScript based on separation logic. It also highlights the difficulties imposed by the language and the current state-of-the-art in the literature. -The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects -of automated deduction is presented. -The conference, first established in 1974 is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org) \ No newline at end of file +The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects +of automated deduction is presented. The conference, first established in 1974, is held under the aegis of the [Association for Automated Reasoning (AAR)](http://www.aarinc.org) \ No newline at end of file -- GitLab