System Description of LAMBDALG - A Higher Order Algebraic Specification Language.

Yexuan Gui Mitsuhiro Okada

Published in: LPAR (1993)

Keyphrases

specification language
higher order
programming language
formal specification
description language
high order
lambda calculus
pairwise
high level
markov random field
software environment
requirements specification
cooperative
symbolic execution
open source
data structure
formal methods
model checker
databases