Extending VIAP to Handle Array Programs

EasyChair Preprint no. 393, version history

VersionDatePagesVersion notes
1August 2, 201812
2August 3, 201812

Updated references 

Keyphrases: arithmetic, array, Automatic Program Verification, first-order logic, Mathematical Induction, multi-dimensional, Nested, Recurrences, SMT

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Pritom Rajkhowa and Fangzhen Lin},
  title = {Extending VIAP to Handle Array Programs},
  howpublished = {EasyChair Preprint no. 393},
  doi = {10.29007/pjbm},
  year = {EasyChair, 2018}}