ACM
Sign In
Go
ACM.org
Join ACM
About Communications
ACM Resources
Alerts & Feeds
Communications of the ACM
Home
Current Issue
Current Issue: March 2024
Measuring GitHub Copilot's Impact on Productivity
Generative AI Degrades Online Communities
Innovation Is Overrated: A Provocation
VIEW TABLE OF CONTENTS
News
Latest News
News Archive
Blogs
About the Blogs
BLOG@CACM
Blogroll
Blogs Archive
Opinion
Articles
Interviews
Opinion Archive
Research
Latest Research
Research Archive
Practice
Latest Practice
Practice Archive
Careers
Search for Jobs
Post a Resume
Post A Job
Advertise with Us
Contact Us
Archive
The magazine archive includes every article published in
Communications of the ACM
for over the past 50 years.
March 2024 (Vol. 67, No. 3)
February 2024 (Vol. 67, No. 2)
January 2024 (Vol. 67, No. 1)
VIEW MORE ISSUES
Videos
Home
/
Magazine Archive
/
October 1979 (Vol. 22, No. 10)
Table of Contents
BROWSE BY PAGE
554-556 Leslie Lamport
557-559 Paul Klint
560-570 Tomás Lozano-Pérez
577-579 Robert L. Ashenhurst
549-553 P. D. Laird
On the proof of correctness of a calendar program
Leslie Lamport
Pages 554-556
Line numbers made cheap
Paul Klint
Pages 557-559
An algorithm for planning collision-free paths among polyhedral obstacles
Tomás Lozano-Pérez, Michael A. Wesley
Pages 560-570
ACM forum
Robert L. Ashenhurst
Pages 577-579
Comment on “an optimal evaluation of Boolean expressions in an online query system”
P. D. Laird
Pages 549-553
Sign In
for Full Access
User Name
Password
» Forgot Password?
» Create an ACM Web Account
Sign In
Previous Issue
Next Issue
View the Digital Library
About Communications
Editorial Board
Editorial Staff
Author Center
Editorial Calendar
Communicate!
Send us Feedback
Submit a Letter to the Editor
Contact the Publisher
Contact the Editor-in-Chief
