1894 search results - page 140 / 379 » A TLA Proof System |
114
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
127
click to vote
PLSA
1994
15 years 7 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
148
click to vote
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
122
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
105
click to vote
RSP
1999
IEEE
15 years 8 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...