6978 search results - page 146 / 1396 » On Proofs in System P |
185
click to vote
PLDI
2006
ACM
16 years 12 days 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...
169
click to vote
CCS
2011
ACM
14 years 6 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...
202
click to vote
PODC
1994
ACM
15 years 10 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...
