764 search results - page 127 / 153 » On the Expressibility of Stable Logic Programming |
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
86
Voted
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
110
click to vote
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
105
click to vote
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...