1. importsource = "01640925-2007-02.txt"
Se encontraron 28 resultados.
Artículo:

Slicing as a Program Transformation

Autor:

M. Ward

H.Zedan

Página:

1

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

29

Número:

2

Periodo:

March 2007

ISSN:

01640925

SrcID:

01640925-2007-02.txt

  • Documento número 6283
  • Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Creado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Enlace directo
Artículo:

A Deterministic Logical Semantics for Pure Esterel

Autor:

O. Tardieu

Página:

1

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

29

Número:

2

Periodo:

March 2007

ISSN:

01640925

SrcID:

01640925-2007-02.txt

  • Documento número 6284
  • Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Creado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Enlace directo
Artículo:

Allocating Architected Registers Through Differential Encoding

Autor:

X. Zhuang

S. Pande

Página:

1

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

29

Número:

2

Periodo:

March 2007

ISSN:

01640925

SrcID:

01640925-2007-02.txt

  • Documento número 6285
  • Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Creado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Enlace directo
Artículo:

Termination Analysis of Logic Problems Through Combination of Type-Based Norms

Autor:

M. Bruynooghe

M. Codish

J. P. Gallagher

S. Genaim

W.Vanhoof

Página:

1

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

29

Número:

2

Periodo:

March 2007

ISSN:

01640925

SrcID:

01640925-2007-02.txt

  • Documento número 6286
  • Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Creado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Enlace directo
Artículo:

Fast Online Pointer Analysis

Autor:

M. Hirzel

D. Von Dincklage

A. Diwan

M. Hind

Página:

1

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

29

Número:

2

Periodo:

March 2007

ISSN:

01640925

SrcID:

01640925-2007-02.txt

  • Documento número 6287
  • Actualizado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Creado el martes, 23 de mayo de 2017 03:28:25 p. m.
  • Enlace directo