263 search results - page 30 / 53 » From Declarative Languages to Declarative Processing in Comp... |
153
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
124
click to vote
AGENTCL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
141
click to vote
ICLP
2010
Springer
14 years 12 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
108
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
131
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...