- pub = ("ACM Transactions on Programming Languages and Systems")
- Artículo:
Program termination analysis in polynomial time
- Autor:
Amir M. Ben-Amram
Chin Soon Lee
- Página:
1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
29
- Número:
1
- Periodo:
January 2007
- ISSN:
01640925
- SrcID:
01640925-2007-01.txt
- Documento número 536270
- Actualizado el martes, 10 de julio de 2018 10:13:21 a. m.
- Creado el martes, 10 de julio de 2018 10:13:21 a. m.
- Enlace directo
- Artículo:
Type-based publish/subscribe: Concepts and experiences
- Autor:
Patrick Eugster
- Página:
1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
29
- Número:
1
- Periodo:
January 2007
- ISSN:
01640925
- SrcID:
01640925-2007-01.txt
- Documento número 536271
- Actualizado el martes, 10 de julio de 2018 10:13:21 a. m.
- Creado el martes, 10 de julio de 2018 10:13:21 a. m.
- Enlace directo
- 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 741202
- Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
- Creado el martes, 10 de julio de 2018 10:37:48 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 741203
- Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
- Creado el martes, 10 de julio de 2018 10:37:48 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 741204
- Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
- Creado el martes, 10 de julio de 2018 10:37:48 a. m.
- Enlace directo
