Studies of a Theory of Specifications with Built-in Program Extraction.

Paula Severi Nora Szasz

Published in: J. Autom. Reason. (2001)

Keyphrases

automatic extraction
real world
theoretical framework
databases
theoretical foundation
theoretical basis
control flow
empirical studies
information theory
literature review
general theory
formal theory
execution traces
formal descriptions