Image Representations Using Miranda Laws
dc.contributor.author | Parsons, Michael S. | en_US |
dc.date.accessioned | 2014-10-21T06:09:13Z | |
dc.date.available | 2014-10-21T06:09:13Z | |
dc.date.issued | 1989 | en_US |
dc.description.abstract | The applicative language Miranda is used to define various image representations. One particular feature of this language, an algebraic data type with laws, is shown to be very powerful in giving and automatically maintaining properties of these image structures. This enables simple definitions of graphical ideas such as the following: quadtrees which are always fully condensed, self-dividing line lists which produce fractal images, and primitives restricted to certain areas of the screen or to certain orientations. | en_US |
dc.description.number | 2 | en_US |
dc.description.seriesinformation | Computer Graphics Forum | en_US |
dc.description.volume | 8 | en_US |
dc.identifier.doi | 10.1111/j.1467-8659.1989.tb00462.x | en_US |
dc.identifier.issn | 1467-8659 | en_US |
dc.identifier.pages | 99-106 | en_US |
dc.identifier.uri | https://doi.org/10.1111/j.1467-8659.1989.tb00462.x | en_US |
dc.publisher | Blackwell Publishing Ltd and the Eurographics Association | en_US |
dc.title | Image Representations Using Miranda Laws | en_US |