Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate
Ben-Amram, Amir M., Pineles, Aviad
Published in Electronic proceedings in theoretical computer science (16.07.2016)
Published in Electronic proceedings in theoretical computer science (16.07.2016)
Get full text
Journal Article
SAT-based termination analysis using monotonicity constraints over the integers
CODISH, MICHAEL, GONOPOLSKIY, IGOR, BEN-AMRAM, AMIR M., FUHS, CARSTEN, GIESL, JÜRGEN
Published in Theory and practice of logic programming (01.07.2011)
Published in Theory and practice of logic programming (01.07.2011)
Get full text
Journal Article
On the Termination of Integer Loops
Ben-Amram, Amir M., Genaim, Samir, Masud, Abu Naser
Published in Lecture Notes in Computer Science, vol. 7148 (2012)
Published in Lecture Notes in Computer Science, vol. 7148 (2012)
Get full text
Book Chapter