1. importsource = "01640925-2007-02.txt"
Se encontraron 28 resultados.
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 763288
  • Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Creado el martes, 10 de julio de 2018 10:40:24 a. 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 763289
  • Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Creado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Enlace directo
Artículo:

Metric: Memory tracing via Dynamic Binary Rewriting to identify cache inefficiencies

Autor:

J. Marathe

F. Mueller

T. Mohan

S.A. Mckee

B.R. De suspinski

A. Yoo

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 763290
  • Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Creado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Enlace directo
Artículo:

A provenly correct translation of fickle into java

Autor:

D. Ancona

C. Anderson

F. Damiani

S. Drossopoulou

P. Giannini

E. Zucca

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 763291
  • Actualizado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Creado el martes, 10 de julio de 2018 10:40:24 a. m.
  • Enlace directo
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 892478
  • 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