Program analysis: The abstract interpretation perspective

Research output: Contribution to journal › Article › peer-review

Cite this

@article{939cc3efc71041bb8e6dc5371b8e9dc0,

title = "Program analysis: The abstract interpretation perspective",

author = "Patrick Cousot",

year = "1996",

month = dec,

language = "English (US)",

volume = "28A",

pages = "165--es",

journal = "ACM Computing Surveys",

issn = "0360-0300",

publisher = "Association for Computing Machinery (ACM)",

number = "4es",

}