Large-Scale Sound and Precise Program Analysis.
An introduction is presented to the article "Reasoning About the Unknown in Static Analysis," by Isil Dillig, Thomas Dillig, and Alex Aiken.
| Published in: | Communications of the ACM Vol. 53; no. 8; pp. 114 - 115 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
Aug2010
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=52564152&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 52564152 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Aug2010 vid: 53 iid: 8 pid: 68 pub: Association for Computing Machinery artinfo: ui: 52564152 10.1145/1787234.1787258 ppf: 114 ppct: 1 formats: tig: atl: Large-Scale Sound and Precise Program Analysis. aug: au: Henglein, Fritz affil: Professor of CS and head, Algorithms and Programming Languages Group, Department of Computer Science, University of Copenhagen (DIKU), Denmark. su: Computer software testing Computer software correctness sug: subj: Computer software testing Computer software correctness ab: An introduction is presented to the article "Reasoning About the Unknown in Static Analysis," by Isil Dillig, Thomas Dillig, and Alex Aiken. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|