16190 search results - page 47 / 3238 » Applicative programming with effects |
ASP
2001
Springer
13 years 11 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
SC
1991
ACM
13 years 11 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
ECOOP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
AI
1998
Springer
13 years 7 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot...