1. importsource = "00010782-2011-09.txt"
Se encontraron 81 resultados.
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