A Unified-Algebra-Based Specification Language for Symbolic Computing.

Jacques Calmet Indra A. Tjandra

Published in: DISCO (1993)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
query language
software environment
requirements specification
high level
real world
model checker
key features
heuristic search
software development
data model
evolutionary algorithm
database