3736 search results - page 68 / 748 » Generative Programming |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
EJC
2000
13 years 10 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
PLDI
1997
ACM
14 years 28 days ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...