View in EDS PDF Full Text

On the Termination of Integer Loops.

Saved in:
Bibliographic Details
Title: On the Termination of Integer Loops.
Authors: BEN-AMRAM, AMIR M.1, genaim@gmail.com, GENAIM, SAMIR2, MASUD, ABU NASER3
Source: ACM Transactions on Programming Languages & Systems; Dec2012, Vol. 34 Issue 4, p1-24, 24p
Database: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/2400676.2400679