HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Pritom Rajkhowa

Publications
Extending VIAP to Handle Array Programs
Pritom Rajkhowa and Fangzhen Lin
EasyChair Preprint no. 393

Keyphrases

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

Copyright © 2012-2023 easychair.org. All rights reserved.