- 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 6227
- Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:25 p. 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 6228
- Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:25 p. 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 6229
- Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:25 p. 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 6230
- Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:25 p. 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 6231
- Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:25 p. m.
- Enlace directo
