- pub = ("ACM Transactions on Programming Languages and Systems")
- 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 6267
- 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:
Variant parametric types; A flexible subtyping scheme for generics
- Autor:
Atsushi Igarashi
Mirko Viroli
- Página:
795
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
28
- Número:
5
- Periodo:
septiembre 2006
- ISSN:
01640925
- SrcID:
01640925-2006-05.txt
- Documento número 6268
- 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:
An algebraic array shape inference system for MATLAB®
- Autor:
Pramod G. Joisha
Prithviraj Banerjee
- Página:
848
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
28
- Número:
5
- Periodo:
septiembre 2006
- ISSN:
01640925
- SrcID:
01640925-2006-05.txt
- Documento número 6269
- 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:
Controlling garbage collection and heap growth to reduce the execution time of Java applications
- Autor:
Tim Brecht
Eshrat Arjomandi
Chang Li
Hang Pham
- Página:
908
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
28
- Número:
5
- Periodo:
septiembre 2006
- ISSN:
01640925
- SrcID:
01640925-2006-05.txt
- Documento número 6270
- 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:
Exploiting reference idempotency to reduce speculative storage overflow
- Autor:
Seon Wook Kim
Chong-Liang Ooi
Rudolf Eigenmann
Babak Falsafi
T. N. Vijaykumar
- Página:
942
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
28
- Número:
5
- Periodo:
septiembre 2006
- ISSN:
01640925
- SrcID:
01640925-2006-05.txt
- Documento número 6271
- 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
