Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing.
Bernhard ReusPublished in: PLILP (1992)
Keyphrases
- specification language
- higher order
- formal specification
- description language
- programming language
- high order
- pairwise
- software environment
- symbolic execution
- markov random field
- requirements specification
- information retrieval systems
- high level
- general purpose
- object oriented
- relational databases
- search algorithm