A Framework for Functional Specification and Transformation of Hidden Surface Elimination Algorithms
No Thumbnail Available
Date
1989
Journal Title
Journal ISSN
Volume Title
Publisher
Blackwell Publishing Ltd and the Eurographics Association
Abstract
This paper deals with the theory of hidden surface elimination algorithms in Computer Graphics. A set of functions and abstract data types are defined to help concisely specify a class of hidden surface elimination algorithms in a purely functional language. A formal study of these algorithms is presented here along with theorems of equivalence between some of the specifications. It is shown here that such proofs of equivalence will help in the construction of existing as well as new algorithms. We bring in the importance of such a study to exploit alternative parallel architectures for implementation of these algorithms. The other benefits of formal specification and analysis are due to its use as a teaching aid and effective method for rapid prototyping of these algorithms.
Description
@article{10.1111:j.1467-8659.1989.tb00461.x,
journal = {Computer Graphics Forum},
title = {{A Framework for Functional Specification and Transformation of Hidden Surface Elimination Algorithms}},
author = {Lakshminarasimhan, A.L. and Srivas, Mandayam},
year = {1989},
publisher = {Blackwell Publishing Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/j.1467-8659.1989.tb00461.x}
}