1. pub = "ACM Transactions On Programming Languages And Systems"
Se encontraron 491 resultados.
Artículo:

Right nulled GLR parsers

Autor:

Elizabeth Scott

Adrian Johnstone

Página:

577

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

28

Número:

4

Periodo:

julio 2006

ISSN:

01640925

SrcID:

01640925-2006-04.txt

  • Documento número 582906
  • Actualizado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Creado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Enlace directo
Artículo:

A machine-checked model for a Java-like language, virtual machine, and compiler

Autor:

Gerwin Klein

Tobias Nipkow

Página:

619

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

28

Número:

4

Periodo:

julio 2006

ISSN:

01640925

SrcID:

01640925-2006-04.txt

  • Documento número 582907
  • Actualizado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Creado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Enlace directo
Artículo:

Fast partial evaluation of pattern matching in strings

Autor:

Mads Sig Ager

Olivier Danvy

Henning Korsholm Rohde

Página:

696

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

28

Número:

4

Periodo:

julio 2006

ISSN:

01640925

SrcID:

01640925-2006-04.txt

  • Documento número 582908
  • Actualizado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Creado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Enlace directo
Artículo:

Message analysis for concurrent programs using message passing

Autor:

Richard Carlsson

Konstantinos Sagonas

Jesper Wilhelmsson

Página:

715

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

28

Número:

4

Periodo:

julio 2006

ISSN:

01640925

SrcID:

01640925-2006-04.txt

  • Documento número 582909
  • Actualizado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Creado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Enlace directo
Artículo:

Calculational semantics; Deriving programming theories from equations by functional predicate calculus

Autor:

Raymond T. Boute

Página:

747

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

28

Número:

4

Periodo:

julio 2006

ISSN:

01640925

SrcID:

01640925-2006-04.txt

  • Documento número 582910
  • Actualizado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Creado el martes, 10 de julio de 2018 10:18:56 a. m.
  • Enlace directo