6978 search results - page 146 / 1396 » On Proofs in System P |
209
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
191
click to vote
CCS
2011
ACM
14 years 7 months ago
2011
ACM
Cloud storage systems are becoming increasingly popular. A promising technology that keeps their cost down is deduplication, which stores only a single copy of repeating data. Cli...
220
Voted
PODC
1994
ACM
15 years 11 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
131
Voted
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
133
Voted
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer