1. isn = "01640925"
Se encontraron 598 resultados.
Artículo:

Dealing with incomplete knowledge on CLP (FD) Variable domains

Autor:

M.Gavanelli

E. Lamma

P. Mello

M. Milano

Página:

236

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

27

Número:

2

Periodo:

Marzo 2005

ISSN:

01640925

SrcID:

01640925-2005-02.txt

  • Documento número 741203
  • Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Creado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Enlace directo
Artículo:

Resource usage analysis

Autor:

A. Igarashi

N. Kobayashi

Página:

264

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

27

Número:

2

Periodo:

Marzo 2005

ISSN:

01640925

SrcID:

01640925-2005-02.txt

  • Documento número 741204
  • Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Creado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Enlace directo
Artículo:

Polymorphic predicate abstraction

Autor:

T. Ball

T. Millstein

S. K. Rajamani

Página:

314

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

27

Número:

2

Periodo:

Marzo 2005

ISSN:

01640925

SrcID:

01640925-2005-02.txt

  • Documento número 741205
  • Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Creado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Enlace directo
Artículo:

A systematic approach to static access control

Autor:

F.Pottier

C. Skalka

S. Smith

Página:

344

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

27

Número:

2

Periodo:

Marzo 2005

ISSN:

01640925

SrcID:

01640925-2005-02.txt

  • Documento número 741206
  • Actualizado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Creado el martes, 10 de julio de 2018 10:37:48 a. m.
  • Enlace directo
Artículo:

Corrigendum

Autor:

A. L. Buchsbaum

H. Kaplan

A. Rogers

J. R. Westbrook

Resumen:

A new, simpler linear-time dominators algorithm

Página:

383

Publicación:

ACM Transactions On Programming Languages And Systems

Volúmen:

27

Número:

3

Periodo:

May 2005

ISSN:

01640925

SrcID:

01640925-2005-03.txt

  • Documento número 842383
  • Actualizado el martes, 10 de julio de 2018 10:50:04 a. m.
  • Creado el martes, 10 de julio de 2018 10:50:04 a. m.
  • Enlace directo