Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2020	ACM Digital Library

Información

Tipo de recurso:

actas de congreso

ISBN impreso

978-1-4503-8189-5

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

2020-11-17

Información sobre derechos de publicación

Copyright © ACM, Inc.

Cobertura temática

computacion

Ciencias de la computación e información

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1145/3427764.3428324

Type checking beyond type checkers, via slice & run

Justus Adam; Stephen Kell

Pp. No disponible

doi: 10.1145/3427764.3428323

Towards checkpoint placement for dynamic memory allocation in intermittent computing

Nicholas Shoemaker; Ruzica Piskac; Mark Santolucito

Pp. No disponible

doi: 10.1145/3427764.3428320

MetaCG: annotated call-graphs to facilitate whole-program analysis

Jan-Patrick Lehr; Alexander Hück; Yannic Fischler; Christian Bischof

Pp. No disponible

doi: 10.1145/3427764.3428322

Online verification of commutativity

Aditi Kabra; Dietrich Geisler; Adrian Sampson

Pp. No disponible

doi: 10.1145/3427764.3428318

API analytics for curating static analysis rules

Vineeth Kashyap; Roger Scott; Joseph Ranieri; David Melski; Lucja Kot

Pp. No disponible