Abstracting Abstract Machines.
An introduction is presented for the article "Abstracting Abstract Machines A Systematic Approach to Higher-Order Program Analysis," by David Van Horn and Matthew Might, which is published elsewhere in the same issue.
| Publicado en: | Communications of the ACM Vol. 54; no. 9; pp. 100 - 101 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=67134754&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 67134754 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Sep2011 vid: 54 iid: 9 pid: 68 pub: Association for Computing Machinery artinfo: ui: 67134754 10.1145/1995376.1995399 ppf: 100 ppct: 1 formats: tig: atl: Abstracting Abstract Machines. aug: au: Danvy, Olivier Midtgaard, Jan affil: Associate professor, Department of Computer Science, Aarhus University, Aarhus, Denmark Post-doctoral researcher, Department of Computer Science, Aarhus University, Aarhus, Denmark su: Computer software Computer software correctness Debugging sug: subj: Computer software Computer software correctness Debugging ab: An introduction is presented for the article "Abstracting Abstract Machines A Systematic Approach to Higher-Order Program Analysis," by David Van Horn and Matthew Might, which is published elsewhere in the same issue. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|