- importsource = "00010782-2011-09.txt"
- Artículo:
Technical Perspective: Abstracting Abstract Machines
- Autor:
Olivier Danvy
Jan Midtgaard
- Resumen:
Semanticss-based program analysis requires one to (1) start from a "friendly" semantics; (2) design a "congenial" lattice of runtime properties; (3) associate a "relevant" …
- Página:
100
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 707480
- Actualizado el martes, 10 de julio de 2018 10:34:04 a. m.
- Creado el martes, 10 de julio de 2018 10:34:04 a. m.
- Enlace directo
- Artículo:
Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis
- Autor:
David Van Horn
Matthew Might
- Resumen:
Predictive models are fundamental to engineering reliable software systems. However, designing conservative, computable approximations for the behavior of programs remains a difficult and error-prone process for modern high-level …
- Página:
101
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 707481
- Actualizado el martes, 10 de julio de 2018 10:34:04 a. m.
- Creado el martes, 10 de julio de 2018 10:34:04 a. m.
- Enlace directo
- Artículo:
Puzzled: Solutions and Sources
- Autor:
Peter Winkler
- Resumen:
Last month we posted a trio of brainteasers, including one as yet unsolved, concerning divisibility of numbers. Here, we offer solutions to two of them and a remark about the third. How did you do?
- Página:
110
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 707482
- Actualizado el martes, 10 de julio de 2018 10:34:04 a. m.
- Creado el martes, 10 de julio de 2018 10:34:04 a. m.
- Enlace directo
- Artículo:
Q&A: Scaling Up
- Autor:
Leah Hoffmann
- Resumen:
Eric Brewer talks about infrastructure, connectivity, and computing for developing nations.
- Página:
112
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 707483
- Actualizado el martes, 10 de julio de 2018 10:34:04 a. m.
- Creado el martes, 10 de julio de 2018 10:34:04 a. m.
- Enlace directo
- Artículo:
Are You Talking to Me?
- Autor:
Moshe Y. Vardi
- Resumen:
I recently attended a rather theoretical computer-science conference, and sat, as is my habit, in the front row. The speaker was trying to convey the fine details of a rather …
- Página:
5
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980156
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo