APL2 as a Specification Language for Statistics.

Norman D. Thomson

Published in: IBM Syst. J. (1991)

Keyphrases

specification language
formal specification
description language
programming language
symbolic execution
software environment
requirements specification
database
machine learning
information retrieval
query language
model checking
domain independent
model checker