3440 search results - page 478 / 688 » Logics For Context-Free Languages |
178
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
198
click to vote
TYPES
1998
Springer
15 years 11 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
174
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
178
click to vote
MA
1997
Springer
15 years 11 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...
163
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...