A sort of parametric polymorphism for algebraic specifications.
Bernd J. KrämerPublished in: J. Syst. Softw. (1991)
Keyphrases
- multiscale
- parametric models
- image processing
- formal specification
- image segmentation
- delay insensitive
- machine learning
- algebraic curves
- attribute grammars
- algebraic structure
- databases
- mathematical theory
- reactive systems
- design requirements
- logic programs
- programming language
- probabilistic model
- algebraic geometry
- written in natural language