LAMBDALG: Higher Order Algebraic Specification Language.

Yexuan Gui Mitsuhiro Okada

Published in: RTA (1993)

Keyphrases

specification language
higher order
formal specification
programming language
description language
software environment
high order
symbolic execution
pairwise
requirements specification
markov random field
orders of magnitude
building blocks
artificial intelligence
cooperative
optimal solution
database systems