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

Document Versions

Constraints: A Uniform Approach to Aliasing and Typing –Leslie Lamport, Fred B. Schneider — 1984 — In Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN
Constraints: A uniform approach to aliasing and typing –Fred B. Schneider — 1986 — Conference Record of Twelfth Annual ACM Symposium on Principles of Programming Languages (New
Constraints: A uniform approach to aliasing and typing –Fred B. Schneider — 1985 — In Proceedings of the Twelfth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN