29 search results - page 1 / 6 » Assertion-based Debugging of Imperative Programs by Abstract... |
69
Voted
ESEC
1993
Springer
15 years 4 months ago
1993
Springer
CP
1998
Springer
15 years 4 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...
116
Voted
PLDI
1993
ACM
15 years 4 months ago
1993
ACM
112
Voted
ENTCS
2008
15 years 15 days 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...
100
Voted
CADE
2009
Springer
16 years 1 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 ...