2496 search results - page 125 / 500 » Error-detecting properties of languages |
102
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
137
click to vote
AMEC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
106
click to vote
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
102
Voted
MFCS
2004
Springer
15 years 6 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
112
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...