7 search results - page 1 / 2 » The Donkey and the Monoid. Dynamic Semantics with Control El... |
97
Voted
JOLLI
2002
15 years 2 days 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...
122
Voted
LOGCOM
2007
15 years 9 days 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...
124
Voted
ICFP
2010
ACM
15 years 18 days 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...
111
Voted
ICCD
2003
IEEE
15 years 9 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
15 years 6 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...