12981 search results - page 408 / 2597 » Model Checking (Abstract) |
213
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
138
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We describe a monad for checked, explicitly typed exceptions, which provides as a simple Haskell library what for other languages is a native feature. Multi parameter typ...
173
Voted
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...
193
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
154
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Mixin layers are a technique for implementing layered object-oriented (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scale...