Formal specification of image processing primitives in a functional language.
Ian PooleDerek CharlestonPublished in: ICPR (1) (1994)
Keyphrases
- formal specification
- functional language
- image processing
- functional programming
- model checking
- object oriented design
- programming language
- proof planning
- concurrent systems
- process algebra
- signal processing
- formal methods
- building blocks
- reverse engineering
- high level
- execution model
- software components
- fine grained
- multi agent