11022 search results - page 103 / 2205 » Programming Systems for Autonomy |
192
click to vote
ENTCS
2002
15 years 7 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
198
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
324
click to vote
Book
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
164
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...
