16 search results - page 4 / 4 » Decision Procedures for Queues with Integer Constraints |
CADE
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...