A Formal Evaluation of Data Flow Path Selection Criteria.

Lori A. Clarke Andy Podgurski Debra J. Richardson Steven J. Zeil

Published in: IEEE Trans. Software Eng. (1989)

Keyphrases

data flow
selection criteria
formal evaluation
database machine
control flow
object oriented software
systolic array
information retrieval
object oriented
database management systems