Journals in DBLP
John J. Zic Time-Constrained Buffer Specifications in CSP+T and Timed CSP. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1661-1674 [Journal ] A. P. Wim Böhm , R. R. Oldehoeft Two Issues in Parallel Language Design. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1675-1683 [Journal ] Marc M. Brandis , Hanspeter Mössenböck Single-Pass Generation of Static Single-Assignment Form for Structured Languages. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1684-1698 [Journal ] Andrew W. Appel Axiomatic Bootstrapping: A Guide for Compiler Hackers. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1699-1718 [Journal ] Nicholas Haines , Darrell Kindred , J. Gregory Morrisett , Scott Nettles , Jeannette M. Wing Composing First-Class Transactions. [Citation Graph (1, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1719-1736 [Journal ] Jayadev Misra Powerlist: A Structure for Parallel Recursion. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1737-1767 [Journal ] Steve Carr , Ken Kennedy Improving the Ratio of Memory Operations to Floating-Point Operations in Loops. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1768-1810 [Journal ] Barbara Liskov , Jeannette M. Wing A Behavioral Notion of Subtyping. [Citation Graph (3, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1811-1841 [Journal ] David G. Von Bank , Charles M. Shub , Robert W. Sebesta A Unified Model of Pointwise Equivalence of Procedural Computations. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1842-1874 [Journal ] Valdis Berzins Software Merge: Semantics of Combining Changes to Programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:6, pp:1875-1903 [Journal ]