2947 search results - page 176 / 590 » Analyzing Program Analyses |
174
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present a new learning environment to be used in an introductory programming course for students that are non-majors in computer science, more precisely for multi...
206
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
166
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
145
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
179
click to vote
APLAS
2005
ACM
16 years 3 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...