1. importsource = "01640925-2008-06.txt"
Se encontraron 15 resultados.
Artículo:

Verifying policy-based web services security.

Autor:

Karthikeyan Bhargavan

Cédric Fournet

Andrew D. Gordon:

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

6

Periodo:

Noviembre 2008

ISSN:

01640925

SrcID:

01640925-2008-06.txt

  • Documento número 6339
  • 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:

Domain specific language implementation via compile-time meta-programming.

Autor:

Laurence Tratt

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

6

Periodo:

Noviembre 2008

ISSN:

01640925

SrcID:

01640925-2008-06.txt

  • Documento número 6340
  • 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:

XARK: An extensible framework for automatic recognition of computational kernels.

Autor:

Manuel Arenaz

Juan Touriño

Ramon Doallo

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

6

Periodo:

Noviembre 2008

ISSN:

01640925

SrcID:

01640925-2008-06.txt

  • Documento número 6341
  • 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:

Perfect hashing as an almost perfect subtype test.

Autor:

Roland Ducournau

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

6

Periodo:

Noviembre 2008

ISSN:

01640925

SrcID:

01640925-2008-06.txt

  • Documento número 6342
  • 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:

Dually nondeterministic functions.

Autor:

Joseph M. Morris

Malcolm Tyrrell:

Página:

1

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

30

Número:

6

Periodo:

Noviembre 2008

ISSN:

01640925

SrcID:

01640925-2008-06.txt

  • Documento número 6343
  • 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