- 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 6344
- 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:
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 6345
- 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:
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 6346
- 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:
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 6347
- 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:
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 6348
- 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
