7 search results - page 1 / 2 » The Donkey and the Monoid. Dynamic Semantics with Control El... |
JOLLI
2002
13 years 4 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
LOGCOM
2007
13 years 4 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
ICCD
2003
IEEE
14 years 1 months ago
2003
IEEE
There is a growing interest in the use of speculative multithreading to speed up the execution of a program. In speculative multithreading model, threads are extracted from a sequ...
ICDE
2007
IEEE
13 years 11 months ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...