- importsource = "01640925-2009-01.txt"
- Artículo:
A programming model for concurrent object-oriented programs.
- Autor:
Bart Jacobs
Frank Piessens
Jan Smans
K. Rustan M. Leino
Wolfram Schulte:
- Página:
1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
1
- Periodo:
January 2009
- ISSN:
01640925
- SrcID:
01640925-2009-01.txt
- Documento número 795364
- Actualizado el martes, 10 de julio de 2018 10:44:16 a. m.
- Creado el martes, 10 de julio de 2018 10:44:16 a. m.
- Enlace directo
- Artículo:
Efficient constraint propagation engines.
- Autor:
Christian Schulte
Peter J. Stuckey:
- Página:
1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
1
- Periodo:
January 2009
- ISSN:
01640925
- SrcID:
01640925-2009-01.txt
- Documento número 795365
- Actualizado el martes, 10 de julio de 2018 10:44:16 a. m.
- Creado el martes, 10 de julio de 2018 10:44:16 a. m.
- Enlace directo
- Artículo:
Decomposing bytecode verification by abstract interpretation
- Autor:
Cinzia Bernardeschi
Nicoletta De Francesco
Giuseppe Lettieri
Luca Martini
Paolo Masci:
- Página:
1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
1
- Periodo:
January 2009
- ISSN:
01640925
- SrcID:
01640925-2009-01.txt
- Documento número 795366
- Actualizado el martes, 10 de julio de 2018 10:44:16 a. m.
- Creado el martes, 10 de julio de 2018 10:44:16 a. m.
- Enlace directo
- Artículo:
A probabilistic language based on sampling functions.
- Autor:
Sungwoo Park
Frank Pfenning
Sebastian Thrun:
- Página:
1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
1
- Periodo:
January 2009
- ISSN:
01640925
- SrcID:
01640925-2009-01.txt
- Documento número 795367
- Actualizado el martes, 10 de julio de 2018 10:44:16 a. m.
- Creado el martes, 10 de julio de 2018 10:44:16 a. m.
- Enlace directo
- Artículo:
Verified interoperable implementations of security protocols.
- Autor:
Karthikeyan Bhargavan
Cédric Fournet
Andrew D. Gordon
Stephen Tse:
- Página:
1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
1
- Periodo:
January 2009
- ISSN:
01640925
- SrcID:
01640925-2009-01.txt
- Documento número 795368
- Actualizado el martes, 10 de julio de 2018 10:44:16 a. m.
- Creado el martes, 10 de julio de 2018 10:44:16 a. m.
- Enlace directo
