Lattice Frameworks for Multi- Source and Bidirectional Data Flow Analysis Problems

TitleLattice Frameworks for Multi- Source and Bidirectional Data Flow Analysis Problems
Publication TypeJournal Article
Year of Publication1995
AuthorsMasticola, S., T. J. Marlowe, and B. G. Ryder
JournalACM Transactions on Programming Languages and Systems
Volume17
Issue5
Pagination777-803
Date PublishedSeptember