Year: 1979
Type: conference-paper
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.
Authors: Patrick Cousot, Radhia Cousot
Institution: Laboratoire d'Informatique de Grenoble
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2014764321