Formal specification of image processing primitives in a functional language

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.

[1]  Antony J. T. Davie.  An introduction to functional programming systems using Haskell , 1992 .

[2]  I. Poole.  A functional programming environment for image analysis , 1992, Proceedings., 11th IAPR International Conference on Pattern Recognition. Vol. IV. Conference D: Architectures for Vision and Pattern Recognition,.

[3]  H. Minkowski.  Volumen und Oberfläche , 1903 .

[4]  Jim Piper,et al.  Data structures for image processing in a C language and Unix environment , 1985, Pattern Recognit. Lett..

[5]  G. P. Otto,et al.  Geometric transformations in a lazy functional language , 1992, Proceedings., 11th IAPR International Conference on Pattern Recognition. Vol. IV. Conference D: Architectures for Vision and Pattern Recognition,.