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.
| Publicado en: | Communications of the ACM Vol. 53; no. 8; pp. 114 - 115 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Aug2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | An introduction is presented to the article "Reasoning About the Unknown in Static Analysis," by Isil Dillig, Thomas Dillig, and Alex Aiken. |
|---|