12981 search results - page 408 / 2597 » Model Checking (Abstract) |
158
click to vote
ASPLOS
1996
ACM
15 years 8 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...
109
Voted
PADL
2010
Springer
16 years 1 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...
131
click to vote
BIRTHDAY
2005
Springer
15 years 10 months 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...
154
click to vote
VSTTE
2005
Springer
15 years 10 months 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...
123
Voted
ECOOP
1998
Springer
15 years 8 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...