Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.

Jacek Leszczylowski Martin Wirsing

Published in: STACS (1991)

Keyphrases

formal specification
multiple perspectives
computer vision
database
neural network
decision trees
case study
data structure
search algorithm
digital libraries
mobile devices
evolutionary algorithm
multiresolution
hidden markov models
user defined
specification language