Moritz Sinn
YOU?
Author Swipe
View article: LOOPUS - A Tool for Computing Loop Bounds for C Programs
LOOPUS - A Tool for Computing Loop Bounds for C Programs Open
We describe the current state of our tool LOOPUS which computes loop bounds for C programs.
View article: Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs Open
Difference constraints have been used for termination analysis in the literature, where they denote relational inequalities of the form x' <= y + c, and describe that the value of x in the current state is at most the value of y in the pre…