Regular Path Clauses and Their Application in Solving Loops

Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo +3

A well-established approach to reasoning about loops during program analysis is to capture the effect of a loop by extracting recurrences from the loop; these express relationships…