On the termination of integer loops

  1. Ben-Amram, A.M.
  2. Genaim, S.
  3. Masud, A.N.
Zeitschrift:
ACM Transactions on Programming Languages and Systems

ISSN: 0164-0925,  1558-4593

Datum der Publikation: 2012

Ausgabe: 34

Nummer: 4

Art: Artikel

DOI: 10.1145/2400676.2400679 GOOGLE SCHOLAR
Datenquelle: Scopus