Constraints: A Uniform Approach to Aliasing and Typing (1984)

by Leslie Lamport , Fred B. Schneider
Venue:In Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN
Citations:13 - 5 self