1536 search results - page 256 / 308 » The Underlying Logic of Hoare Logic |
158
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
153
click to vote
DLOG
2007
15 years 8 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
186
click to vote
AVI
2008
15 years 8 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
177
click to vote
WSC
2007
15 years 8 months ago
2007
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...