As computer technology matures, our growing ability to create large systems is leading to basic changes in the nature of programming. Current programming language…
July 1979 - Vol. 22 No. 7
Features
An optimal real-time algorithm for planar convex hulls
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…
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…