Stratified operational semantics for safety and correctness of the region calculus (2001)

by Cristiano Calcagno
Venue:Proc. 28th Annual ACM Symposium on Principles of Programming Languages