- isn = "01640925"
- Artículo:
Goal-directed weakening of abstract interpretation results.
- Autor:
Sunae Seo
Hongseok Yang
Kwangkeun Yi
Taisook Han:
- Página:
39
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
29
- Número:
6
- Periodo:
Noviembre 2007
- ISSN:
01640925
- SrcID:
01640925-2007-06.txt
- Documento número 892510
- Actualizado el martes, 10 de julio de 2018 10:55:35 a. m.
- Creado el martes, 10 de julio de 2018 10:55:35 a. m.
- Enlace directo
- Artículo:
Heap reference analysis using access graphs
- Autor:
Uday P. Khedker
Amitabha Sanyal
Amey Karkare
- Página:
1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
30
- Número:
1
- Periodo:
January 2008
- ISSN:
01640925
- SrcID:
01640925-2008-01.txt
- Documento número 892511
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
Forma: A framework for safe automatic array reshaping
- Autor:
Peng Zha
Shimin Cui
Yaoqing Gao
- Página:
2
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
30
- Número:
1
- Periodo:
January 2008
- ISSN:
01640925
- SrcID:
01640925-2008-01.txt
- Documento número 892512
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
Empirical study of optimization techniques for massive slicing
- Autor:
David Binkley
Mark Harman
Jens Krinke
- Página:
3
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
30
- Número:
1
- Periodo:
January 2008
- ISSN:
01640925
- SrcID:
01640925-2008-01.txt
- Documento número 892513
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
Efficient field-sensitive pointer analysis of C
- Autor:
David J. Pearce
Paul H.J. Kelly
Chris Hankin
- Página:
4
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
30
- Número:
1
- Periodo:
January 2008
- ISSN:
01640925
- SrcID:
01640925-2008-01.txt
- Documento número 892514
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
