Systematic Design of Program Analysis Frameworks.

Patrick Cousot, Radhia Cousot: Systematic Design of Program Analysis Frameworks. POPL 1979: 269-282

@inproceedings{DBLP:conf/popl/CousotC79,
  author    = {Patrick Cousot and
               Radhia Cousot},
  title     = {Systematic Design of Program Analysis Frameworks},
  booktitle = {POPL},
  year      = {1979},
  pages     = {269-282},
  ee        = {db/conf/popl/CousotC79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

Copyright © 1979 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

BibTeX

Printed Edition

Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979. ACM 1979 BibTeX
Contents

Online Edition: ACM Digital Library

Referenced by

Véronique Benzaken, Xavier Schaefer: Static Management of Integrity in Object-Oriented Databases: Design and Implementation. EDBT 1998: 311-325

BibTeX