|
Journals in DBLP
- Geoffrey Clemm, Leon J. Osterweil
A Mechanism for Environment Integration. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:1-25 [Journal]
- Susan Horwitz, Thomas W. Reps, David Binkley
Interprocedural Slicing Using Dependence Graphs. [Citation Graph (1, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:26-60 [Journal]
- Vance E. Waddle
Production Trees: A Compact Representation of Parsed Programs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:61-83 [Journal]
- Ephraim Korach, Shay Kutten, Shlomo Moran
A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:84-101 [Journal]
- Shing-Tsaan Huang
A Distributed Deadlock Detection Algorithm for CSP-Like Communication. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:102-122 [Journal]
- William M. Farmer, John D. Ramsdell, Ronald J. Watro
A Correctness Proof for Combinator Reduction with Cycles. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:123-134 [Journal]
- F. Warren Burton
Type Extension Through Polymorphism. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:135-138 [Journal]
- David Lorge Parnas
On Iterative Constructs. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1990, v:12, n:1, pp:139-141 [Journal]
|