As computer technology matures, our growing ability to create large systems is leading to basic changes in the nature of programming. Current programming language concepts will not be adequate for building and maintaining systems …
Terry Winograd
Pages 391-401
An algorithm is described for the construction in real-time of the convex hull of a set of
n points in the plane. Using an appropriate data structure, the algorithm constructs the convex hull by successive updates, each taking …
F. P. Preparata
Pages 402-405
Patrick C. Fischer, Robert L. Probert
Pages 405-415
J. H. Hine, I. Mitrani, S. Tsur
Pages 415-424
The notion that computation = controlled deduction was first proposed by Pay Hayes [19] and more recently by Bibel [2] and Vaughn-Pratt [31]. A similar thesis that database systems should be regarded as consisting of a relational …
Robert Kowalski
Pages 424-436
Pages 441-442