HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Fangzhen Lin

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.