% array_dec_procs.bib
% Aaron Stump, 2/10/00
%
% This file contains some references to works about 
% decision procedures for theories of arrays.

@inproceedings{M62,
author = "J. McCarthy",
title = {{Towards a Mathematical Science of Computation}},
booktitle = "IFIP Congress 62",
year = 1962}

@inproceedings{SJ77,
author = "N. Suzuki and D. Jefferson",
title = {{Verification Decidability of Presburger Array Programs}},
booktitle = "Proceedings of a Conference on Theoretical Computer Science",
note="University of Waterloo, Waterloo, Ontario, Canada",
year = 1977}

@article{K68,
author= "D. Kaplan",
title={{Some Completeness Results in the Mathematical Theory of Computation}},
journal="Journal of the ACM",
pages="124-34",
volume="15",
number="1",
month=Jan,
year="1968"}

@article{DS78,
author= "P. Downey and R. Sethi",
title={{Assignment Commands with Array References}},
journal="Journal of the ACM",
pages="652-666",
volume="25",
number="4",
month=Oct,
year="1978"}

@article{C00,
author="D. Cyrluk",
title ={{Private communication}},
year = "2000"}

@article{R00,
author="H. Ruess",
title ={{Private communication}},
year = "2000"}

@inproceedings{SC95,
author = "G. Collins and D. Syme",
title = {{A Theory of Finite Maps}},
booktitle = "Conference on Higher Order Logic Theorem Proving and its Applications",
year = 1995}