ACM president's letter: chat II
Pages 537-538
Home → Magazine Archive → August 1977 (Vol. 20, No. 8)
ACM president's letter: chat II
Pages 537-538
Abstraction and verification in Alphard: defining and specifying iteration and generators
Pages 553-564Pages 609-612
Create a Web Account
If you are an ACM member, Communications subscriber, Digital Library subscriber, or use your institution's subscription, please set up a web account to access premium content and site features. If you are a SIG member or member of the general public, you may set up a web account to comment on free articles and sign up for email alerts.