Home → Magazine Archive → May 1986 (Vol. 29, No. 5)
Table of Contents
Authors
Rosalie Steier
Pages 357-358
Viewpoint
Alfred Bork
Pages 360-ff.
ACM forum
Robert L. Ashenhurst
Page 362
The British Nationality Act as a logic program
The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.
M. J. Sergot, F. Sadri, R. A. Kowalski, F. Kriwaczek, P. Hammond, H. T. Cory
Pages 370-386
Programming pearls: literate programming
Jon Bentley, Don Knuth
Pages 384-369
A language for music printing
A music-description language designed to facilitate both electronic communication and publication-quality printing of musical scores incorporates a syntax for expressing concurrency and two-dimensionality and places new demands …
John S. Gourlay
Pages 388-401
Abstraction-based software development
A five-year experience with abstraction-based software-development techniques in the university environment indicates that the investment required to support the paradigm in practice is returned in terms of greater ability to …
Valdis Berzins, Michael Gray, David Naumann
Pages 402-415
Novel security techniques for online systems
By ensuring entry to subsystems (zones) with different facilities and security levels, log-in procedures can do more than simply delay illicit access.
Richard Botting
Pages 416-417
TID—a translation invariant data structure for storing images
There are a number of techniques for representing pictorial information, among them are borders, arrays, and skeletons. Quadtrees are often used to store black and white picture information. A variety of techniques have been
…
David S. Scott, S. Sitharama Iyengar
Pages 418-429