A Computation Model for Executable Higher-Order Algebraic Specification Languages

Jean-Pierre Jouannaud Mitsuhiro Okada

Published in: LICS (1991)

Keyphrases

higher order
computational model
artificial intelligence
probabilistic model
high order
high level
similarity measure
pairwise
formal model
lower order
knowledge management
statistical model
experimental data
formal specification