1. pub = ("ACM Transactions on Programming Languages and Systems")
Se encontraron 491 resultados.
Artículo:

A uniform type structure for secure information flow.

Autor:

Kohei Honda

Nobuko Yoshida:

Página:

31

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

6

Periodo:

Noviembre 2007

ISSN:

01640925

SrcID:

01640925-2007-06.txt

  • Documento número 892502
  • Actualizado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Creado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Enlace directo
Artículo:

Encapsulating objects with confined types.

Autor:

Christian Grothoff

Jens Palsberg

Jan Vitek:

Página:

32

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

6

Periodo:

Noviembre 2007

ISSN:

01640925

SrcID:

01640925-2007-06.txt

  • Documento número 892503
  • Actualizado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Creado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Enlace directo
Artículo:

The embedded machine: Predictable, portable real-time code.

Autor:

Thomas A. Henzinger

Christoph M. Kirsch:

Página:

33

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

6

Periodo:

Noviembre 2007

ISSN:

01640925

SrcID:

01640925-2007-06.txt

  • Documento número 892504
  • Actualizado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Creado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Enlace directo
Artículo:

A step towards unifying schedule and storage optimization.

Autor:

William Thies

Frédéric Vivien

Saman P. Amarasinghe:

Página:

34

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

6

Periodo:

Noviembre 2007

ISSN:

01640925

SrcID:

01640925-2007-06.txt

  • Documento número 892505
  • Actualizado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Creado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Enlace directo
Artículo:

Dynamic graph-based software fingerprinting.

Autor:

Christian S. Collberg

Clark D. Thomborson

Gregg M. Townsend:

Página:

35

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

29

Número:

6

Periodo:

Noviembre 2007

ISSN:

01640925

SrcID:

01640925-2007-06.txt

  • Documento número 892506
  • Actualizado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Creado el martes, 10 de julio de 2018 10:55:35 a. m.
  • Enlace directo