1948 search results - page 244 / 390 » Formalizing Mirror Theory |
151
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
166
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
162
click to vote
PPDP
2005
Springer
16 years 3 days 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 ...
171
click to vote
RELMICS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
171
click to vote
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...