- importsource = "01640925-2005-02.txt"
- Artículo:
Symbolic bounds analysis of pointers, array indices, and accessed memory regions
- Autor:
R. Rugina
M. C. Rinard
- Página:
185
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892422
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
- Artículo:
Dealing with incomplete knowledge on CLP (FD) Variable domains
- Autor:
M.Gavanelli
E. Lamma
P. Mello
M. Milano
- Página:
236
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892423
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
- Artículo:
Resource usage analysis
- Autor:
A. Igarashi
N. Kobayashi
- Página:
264
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892424
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
- Artículo:
Polymorphic predicate abstraction
- Autor:
T. Ball
T. Millstein
S. K. Rajamani
- Página:
314
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892425
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
- Artículo:
A systematic approach to static access control
- Autor:
F.Pottier
C. Skalka
S. Smith
- Página:
344
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
27
- Número:
2
- Periodo:
Marzo 2005
- ISSN:
01640925
- SrcID:
01640925-2005-02.txt
- Documento número 892426
- Actualizado el martes, 10 de julio de 2018 10:55:34 a. m.
- Creado el martes, 10 de julio de 2018 10:55:34 a. m.
- Enlace directo
