|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
16th Annual IEEE Symposium on Logic in Computer Science (LICS'01)
A Decision Procedure for an Extensional Theory of Arrays
Boston, Massachusetts
June 16-June 19
ISBN: 0-7695-1281-X
| ASCII Text | x | ||
| Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy Levitt, "A Decision Procedure for an Extensional Theory of Arrays," Logic in Computer Science, Symposium on, pp. 0029, 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/LICS.2001.932480, author = {Aaron Stump and Clark W. Barrett and David L. Dill and Jeremy Levitt}, title = {A Decision Procedure for an Extensional Theory of Arrays}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2001}, isbn = {0-7695-1281-X}, pages = {0029}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2001.932480}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Logic in Computer Science, Symposium on TI - A Decision Procedure for an Extensional Theory of Arrays SN - 0-7695-1281-X SP EP A1 - Aaron Stump, A1 - Clark W. Barrett, A1 - David L. Dill, A1 - Jeremy Levitt, PY - 2001 VL - 0 JA - Logic in Computer Science, Symposium on ER - | |||
Abstract: A decision procedure for a theory of arrays is of interest for applications in formal verification, program analysis, and automated theorem-proving. This paper presents a decision procedure for an extensional theory of arrays and proves it correct.
Citation:
Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy Levitt, "A Decision Procedure for an Extensional Theory of Arrays," lics, pp.0029, 16th Annual IEEE Symposium on Logic in Computer Science (LICS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.