Journals in DBLP

ACM Trans. Program. Lang. Syst.
1999, volume: 21, number: 3

1. Michael J. Butler, Pieter H. Hartel
   Reasoning about Grover's quantum search algorithm using probabilistic wp. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:417-429 [Journal]
   
2. Gudjon Gudjonsson, William H. Winsborough
   Compile-time memory reuse in logic programming languages through update in place. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:430-501 [Journal]
   
3. Leslie Lamport, Lawrence C. Paulson
   Should your specification language be typed. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:502-526 [Journal]
   
4. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
   From system F to typed assembly language. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:527-568 [Journal]
   
5. Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
   Efficient logic variables for distributed computing. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:569-626 [Journal]
   
6. Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, Fred C. Chow
   Partial redundancy elimination in SSA form. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:627-676 [Journal]
   
7. Joseph M. Morris, Alexander Bunkenburg
   Specificational functions. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:677-701 [Journal]