- isn = "01640925"
- Artículo:
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
- Autor:
E. Bodden, P. Lam, L. Hendren
- Página:
Article 7
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 6413
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
Structured Communication-Centered Programming for Web Services
- Autor:
M. Carbone, K. Honda, N. Yoshida
- Página:
Article 8
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 6414
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code
- Autor:
P. G. Joisha, R. S. Schreiber, P. Banerjee, H.-J. Boehm, D. R. Chakrabarti
- Página:
Article 9
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 6415
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
Reasoning about Web Applications: An Operational Semantics for HOP
- Autor:
G. Boudol, Z. Luo, T. Rezk, M. Serrano
- Página:
Article 10
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 6416
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
- Autor:
S. Verdoolaege
G. Janssens
M. Bruynooghe
- Página:
Article 11
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
34
- Número:
3
- Periodo:
Octubre 2012
- ISSN:
01640925
- SrcID:
01640925-2012-03.txt
- Documento número 6417
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
