DocumentCode
3088207
Title
Formal specification of image processing primitives in a functional language
Author
Poole, Ian ; Charleston, Derek
Author_Institution
MRC Human Genetics Unit, Edinburgh, UK
Volume
1
fYear
1994
fDate
9-13 Oct 1994
Firstpage
539
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICPR.1994.576350
Filename
576350
Link To Document