Stratified Operational Semantics for Safety and Correctness of The Region Calculus (2001)

Cached

Download Links

by Cristiano Calcagno
Venue:In Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’01
Citations:22 - 1 self