Inferring Program Specifications in Polynomial-Time.

Published in: SAS (1996)

Keyphrases

computer programs
worst case
special case
functional requirements
control flow
execution traces
computational complexity
approximation algorithms
lower bound
data flow
formal specification
specification language
program execution