Using Program Transformations to Derive Line-Drawing Algorithms
Abstract
A wide variety of line-drawing algorithms can be derived by applying program transformations to a simple, obviously correct algorithm. The transformations increase the algorithm's performance and eliminate the need for floating-point computations. Two familiar algorithms are derived in this way: Bresenham's algorithm and the digital differential analyzer (DDA). The transformations are then used to derive several highly parallel variants of Bresenham's algorithm, designed for use on displays that can generate more than one pixel at a time. The treatment shows a complete, extended example of the practical use of program transformations. Moreover, the transformations derive Bresenham's algorithm without recourse to complex geometric arguments.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1981
- Accession Number
- ADA104873
Entities
People
- Robert F. Sproull
Organizations
- Carnegie Mellon University