3323 search results - page 159 / 665 » Computational Semantics with Functional Programming |
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
275
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
122
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
187
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
171
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation. Although several algorit...