Combining Algebraic and Predicative Specifications in Larch.

James J. Horning

Published in: TAPSOFT, Vol.2 (1985)

Keyphrases

case study
high level
bayesian networks
combining multiple
machine learning
search engine
clustering algorithm
three dimensional
user interface
higher order
formal language
delay insensitive