Image Representations Using Miranda Laws
No Thumbnail Available
Date
1989
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Blackwell Publishing Ltd and the Eurographics Association
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.
Description
@article{10.1111:j.1467-8659.1989.tb00462.x,
journal = {Computer Graphics Forum},
title = {{Image Representations Using Miranda Laws}},
author = {Parsons, Michael S.},
year = {1989},
publisher = {Blackwell Publishing Ltd and the Eurographics Association},
ISSN = {1467-8659},
DOI = {10.1111/j.1467-8659.1989.tb00462.x}
}