3311 search results - page 226 / 663 » Deductive Object Programming |
100
click to vote
IWPC
2007
IEEE
15 years 8 months ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
112
click to vote
XPU
2004
Springer
15 years 7 months ago
2004
Springer
Since the rise of the light weight software processes, the paradigm on how software should be developed has started to shift. Agile methods strive to supersede the traditional soft...
138
click to vote
BIRTHDAY
2000
Springer
15 years 6 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
107
click to vote
IJCAI
2003
15 years 3 months ago
2003
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
99
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...