3713 search results - page 696 / 743 » Constructing a Calculus of Programs |
170
click to vote
KBSE
2009
IEEE
16 years 22 days ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
165
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
146
click to vote
ICIAR
2009
Springer
16 years 17 days ago
2009
Springer
This paper considers the problem of altering an image by imperceptibly adding or removing pixels, for example, to fit a differently shaped frame with minimal loss of interesting ...
154
click to vote
CGO
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
153
click to vote
KBSE
2007
IEEE
16 years 8 days ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...