A Framework for Functional Specification and Transformation of Hidden Surface Elimination Algorithms

Simple item page
dc.contributor.authorLakshminarasimhan, A.L.en_US
dc.contributor.authorSrivas, Mandayamen_US
dc.date.accessioned2014-10-21T06:09:11Z
dc.date.available2014-10-21T06:09:11Z
dc.date.issued1989en_US
dc.description.abstractThis 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.en_US
dc.description.number2en_US
dc.description.seriesinformationComputer Graphics Forumen_US
dc.description.volume8en_US
dc.identifier.doi10.1111/j.1467-8659.1989.tb00461.xen_US
dc.identifier.issn1467-8659en_US
dc.identifier.pages75-98en_US
dc.identifier.urihttps://doi.org/10.1111/j.1467-8659.1989.tb00461.xen_US
dc.publisherBlackwell Publishing Ltd and the Eurographics Associationen_US
dc.titleA Framework for Functional Specification and Transformation of Hidden Surface Elimination Algorithmsen_US
Files
Collections
Issue 2