Reliability of Usages & the Usage Calculus
new x:[int]/Ic in x?[v].P
¡ÈFor every I/O with capability,a corresponding O/I with obligation¡É
new x:[int]/(Ic|Oo) in (x?[v].P | x![3])
Previous slide
Next slide
Back to first slide
View graphic version