Premium
Image Representations Using Miranda Laws
Author(s) -
Parsons Michael S.
Publication year - 1989
Publication title -
computer graphics forum
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.578
H-Index - 120
eISSN - 1467-8659
pISSN - 0167-7055
DOI - 10.1111/j.1467-8659.1989.tb00462.x
Subject(s) - computer science , image (mathematics) , simple (philosophy) , fractal , feature (linguistics) , theoretical computer science , algebraic number , line (geometry) , artificial intelligence , programming language , mathematics , linguistics , epistemology , geometry , mathematical analysis , philosophy
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.