Efficient Implementation of an Algebraic Specification Language.

Herbert Klaeren Klaus Indermark

Published in: Algebraic Methods (1987)

Keyphrases

efficient implementation
specification language
formal specification
programming language
description language
hardware implementation
requirements specification
efficient processing
symbolic execution
software environment
active set
evolutionary algorithm
dynamic environments