A Framework for Array Invariants Synthesis in Induction-Loop Programs.

Bin Li Juan Zhai Zhenhao Tang Enyi Tang Jianhua Zhao

Published in: APSEC (2017)

Keyphrases

program synthesis
main contribution
theoretical framework
functional programs
database
information systems
image segmentation
image sequences
lightweight
bayesian framework
affine invariant