Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Cox, Arlen"'
Autor:
Cox, Arlen, Leasure, Jason
Even the fastest SMT solvers have performance problems with regular expressions from real programs. Because these performance issues often arise from the problem representation (e.g. non-deterministic finite automata get determinized and regular expr
Externí odkaz:
http://arxiv.org/abs/1708.09073
Autor:
Cox, Arlen
Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification. However, the cons
Externí odkaz:
http://arxiv.org/abs/1503.01547
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings; 2015, p356-371, 16p
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, p483-509, 27p
Publikováno v:
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings; 2014, p134-150, 17p
Publikováno v:
Computer Aided Verification (9783319088662); 2014, p866-873, 8p
Publikováno v:
ECOOP 2013 - Object-Oriented Programming; 2013, p401-425, 25p
Publikováno v:
Computer Aided Verification (9783642314230); 2012, p155-173, 19p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642287558); 2012, p33-47, 15p
Publikováno v:
International Journal on Software Tools for Technology Transfer; Apr2014, Vol. 16 Issue 2, p175-190, 16p