Title :
Formal specification of image processing primitives in a functional language
Author :
Poole, Ian ; Charleston, Derek
Author_Institution :
MRC Human Genetics Unit, Edinburgh, UK
Abstract :
Demonstrates that the primitive types and operations of an image processing library can usefully be specified in a general purpose functional programming language, even though they are implemented via an efficient representation in a procedural language. Theorems about the primitives can also be recorded within the functional languages. Thus it becomes possible to develop applications and reason formally about them within a single notation, from the image pixel level upwards
Keywords :
formal specification; formal specification; functional language; general purpose functional programming language; image processing library; image processing primitives; primitive types; Formal specifications; Functional programming; Genetics; Humans; Image processing; Image representation; Image segmentation; Libraries; Pixel; Prototypes;
Conference_Titel :
Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision & Image Processing., Proceedings of the 12th IAPR International Conference on
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-6265-4
DOI :
10.1109/ICPR.1994.576350
