Skip to content

On the linear ranking problem for integer linear-constraint loops.

Amir M. Ben-Amram, Samir Genaim

VenueA*POPL
Year2013
ProceedingsPOPL

Browse the full POPL paper archive.