- importsource = "01640925-2009-05.txt"
- Artículo:
A theory of contracts for Web services
- Autor:
Giuseppe Castagna
Nils Gesbert
Luca Padovani
- Página:
19.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
05
- Periodo:
Junio 2009
- ISSN:
01640925
- SrcID:
01640925-2009-05.txt
- Documento número 636511
- Actualizado el martes, 10 de julio de 2018 10:25:28 a. m.
- Creado el martes, 10 de julio de 2018 10:25:28 a. m.
- Enlace directo
- Artículo:
Mostly static program partitioning of binary executables
- Autor:
Efe Yardimci
Michael Franz
- Página:
17.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
05
- Periodo:
Junio 2009
- ISSN:
01640925
- SrcID:
01640925-2009-05.txt
- Documento número 625725
- Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
- Creado el martes, 10 de julio de 2018 10:24:12 a. m.
- Enlace directo
- Artículo:
Certificate translation for optimizing compilers
- Autor:
Gilles Barthe
Benjamin Grégoire
César Kunz, Tamara Rezk
- Página:
18.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
05
- Periodo:
Junio 2009
- ISSN:
01640925
- SrcID:
01640925-2009-05.txt
- Documento número 625726
- Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
- Creado el martes, 10 de julio de 2018 10:24:12 a. m.
- Enlace directo
- Artículo:
A theory of contracts for Web services
- Autor:
Giuseppe Castagna
Nils Gesbert
Luca Padovani
- Página:
19.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
05
- Periodo:
Junio 2009
- ISSN:
01640925
- SrcID:
01640925-2009-05.txt
- Documento número 625727
- Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
- Creado el martes, 10 de julio de 2018 10:24:12 a. m.
- Enlace directo
- Artículo:
Program locality analysis using reuse distance
- Autor:
Yutao Zhong
- Página:
Article No. 20
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
31
- Número:
6
- Periodo:
Agosto 2009
- ISSN:
01640925
- SrcID:
01640925-2009-05.txt
- Documento número 892556
- 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