HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Theory of Arrays

Publications
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Theory of Arrays with set and copy Operations
Stephan Falke, Carsten Sinz and Florian Merz
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl
In:VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2025 easychair.org. All rights reserved.