Order-Sorted Algebraic Specifications with Higher-Order Functions.

Anne Elisabeth Haxthausen

Published in: Theor. Comput. Sci. (1997)

Keyphrases

higher order
order sorted
pairwise
predicate logic
high order
natural images
natural language processing
graphical models
specification language
control flow
low order
lower order
reactive systems