- isn = "01640925"
- 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 892540
- 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
- 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 892541
- 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
- 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 892542
- 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
- 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 892543
- 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
- Artículo:
Revisting Coroutines
- Autor:
A. L. de Moura
R. Ierusalimschy
- Página:
1
- Sección:
Article 6
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
2
- Periodo:
Marzo 2009
- ISSN:
01640925
- SrcID:
01640925-2009-02.txt
- Documento número 892544
- 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
