Algebraically Provable Specification of Optimized Compilations.

Published in: Formal Methods in Programming and Their Applications (1993)

Keyphrases

formal specification
specification language
linear systems
prime implicates
databases
software evolution
formal verification
real time
data sets
artificial intelligence
high level
data model
dynamical systems