most citedLoop Summarization with Rational Vector Addition Systems (extended version)

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2019★ 1 cited

Loop Summarization with Rational Vector Addition Systems (extended version)

Jake Silverman, Zachary Kincaid

This paper presents a technique for computing numerical loop summaries. The method synthesizes a rational vector addition system with resets (Q-VASR) that simulates the action of a…