29 search results - page 1 / 6 » Assertion-based Debugging of Imperative Programs by Abstract... |
ESEC
1993
Springer
13 years 9 months ago
1993
Springer
CP
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
PLDI
1993
ACM
13 years 9 months ago
1993
ACM
ENTCS
2008
13 years 5 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
CADE
2009
Springer
14 years 6 months 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 ...