- importsource = "01640925-2012-02.txt"
- 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:
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 892608
- 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
- 1-5
- 6-8
