Extending VIAP to Handle Array Programs

EasyChair Preprint 393, version history

Version	Date	Pages	Version notes
1	August 2, 2018	12
2	August 3, 2018	12	Updated references

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

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:393,
  author    = {Pritom Rajkhowa and Fangzhen Lin},
  title     = {Extending VIAP to Handle Array Programs},
  doi       = {10.29007/pjbm},
  howpublished = {EasyChair Preprint 393},
  year      = {EasyChair, 2018}}