Sign In

Communications of the ACM

Table of Contents


ACM forum


DOCUMENTS: an interactive online solution to four documentation problems

An adequate delivery system for user documentation addresses the problems of easy access, versatile publication, convenient administration, and good document quality. At the National Magnetic Fusion Energy Computer Center the …

Three papers from the third international conference on information systems: introduction

The International Conference on Information Systems provides an annual forum for keeping abreast of the latest trends and developments in IS research. The conference is sponsored by the TIMS College on Information Systems and …

The dynamics of software project scheduling

Software project scheduling is one of the major problem areas faced by software project managers today. While several quantitative software project resource and schedule estimation methods have been developed, such techniques …

Prototyping interactive information systems

Applying prototype-oriented development processes to computerized application systems significantly improves the likelihood that useful systems will be developed and that the overall development cycle will be shortened. The prototype …

ACL: a language specific for auditors

Audit software is essential for accountants. The software should be written to consolidate the audit support functions into a common language for management information systems (MIS). ACL (Audit Command Language) is a prototype …

A general-purpose algorithm for analyzing concurrent programs

Developing and verifying concurrent programs presents several problems. A static analysis algorithm is presented here that addresses the following problems: how processes are synchronized, what determines when programs are run …

Math proficiency: a key to success for computer science students

A computer science aptitude predictor was administered to students enrolled in a first technical course in computer science to determine potential for success. The study revealed significant differences in the scoring between …

Technical correspondence: performance of the simplex algorithm in real-world linear programming


Technical communications: performance of the simplex algorithm in real-world linear programming. author's response


Technical communications: Critiquing a critique of Hoare's programming logics. author's response


Technical communications: Critiquing a critique of Hoare's programming logics


Technical communications: Critiquing a critique of Hoare's programming logics. author's response