1814 search results - page 117 / 363 » Extended First-Order Logic |
229
click to vote
LMCS
2006
15 years 3 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
125
Voted
POPL
2010
ACM
16 years 22 days ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
138
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
114
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
117
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted ...