Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Semantic analysis of programs is essential in optimizing compilers and program verification systems. It encompasses data flow analysis, data type determination, generation of approximate invariant assertions, etc. This paper is devoted to the systematic and correct design of program analysis frameworks with respect to a formal semantics.

Original languageEnglish (US)
Title of host publicationConference Record of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Antonio, Texas
PublisherACM
Pages269-282
Number of pages42
StatePublished - 1979
EventConf Rec of the Annu ACM Symp on Princ of Program Lang, 6th - San Antonio, TX, USA
Duration: Jan 29 1979Jan 31 1979

Other

OtherConf Rec of the Annu ACM Symp on Princ of Program Lang, 6th
CitySan Antonio, TX, USA
Period1/29/791/31/79

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Systematic design of program analysis frameworks'. Together they form a unique fingerprint.

Cite this