View in EDS PDF Full Text

Ranking Functions for Linear-Constraint Loops.

Saved in:
Bibliographic Details
Title: Ranking Functions for Linear-Constraint Loops.
Authors: BEN-AMRAM, AMIR M.1 amirben@mta.ac.il, GENAIM, SAMIR2 samir.genaim@fdi.ucm.es
Source: Journal of the ACM. Jul2014, Vol. 61 Issue 4, p26-2655. 55p.
Database: Mathematics Source
Description
ISSN:00045411
DOI:10.1145/2629488