Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Berdine, Josh"'
We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an interpolation-based technique for refining heap-shape invariants with data
Externí odkaz:
http://arxiv.org/abs/1501.04100
These notes are a companion to [1] which describe - the variable conditions that Smallfoot checks, - the analysis used to check them, - the algorithm used to compute a set of verification conditions corresponding to an annotated program, and - the tr
Externí odkaz:
http://arxiv.org/abs/1204.4804
Autor:
Berdine, Josh, O'Hearn, Peter W.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 5 May 2006 158:81-98
Publikováno v:
Programming Languages & Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p634-660, 27p
Publikováno v:
Fundamentals of Software Engineering: 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers; 2015, p293-311, 19p
Publikováno v:
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings; 2014, p34-50, 17p
Autor:
Berdine, Josh, Bjørner, Nikolaj
Publikováno v:
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings; 2014, p168-183, 16p
Autor:
Berdine, Josh, Bjørner, Nikolaj, Ishtiaq, Samin, Kriener, Jael E., Wintersteiger, Christoph M.
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings; 2013, p137-146, 10p
Publikováno v:
Computer Aided Verification (9783642314230); 2012, p155-173, 19p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.