1086 search results - page 29 / 218 » Programming by Numbers: A Programming Method for Novices |
CORR
2007
Springer
15 years 1 months ago
2007
Springer
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
110
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
In recent years, the development of multi-objective evolutionary algorithms (MOEAs) hybridized with mathematical programming techniques has significantly increased. However, most...
114
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
108
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
130
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...