Journals in DBLP

ACM Trans. Program. Lang. Syst.
1994, volume: 16, number: 3

1. Shlomit S. Pinter, Ron Y. Pinter
   Program Optimization and Parallelization Using Idioms. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:305-327 [Journal]
   
2. Adrienne Bloss
   Path Analysis and the Optimization of Nonstrict Functional Programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:328-369 [Journal]
   
3. Rajiv Gupta, Mary Lou Soffa, Denise Ombres
   Efficient Register Allocation via Coloring Using Clique Separators. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:370-386 [Journal]
   
4. Max Copperman
   Debugging Optimized Code Without Being Misled. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:387-427 [Journal]
   
5. Preston Briggs, Keith D. Cooper, Linda Torczon
   Improvements to Graph Coloring Register Allocation. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:428-455 [Journal]
   
6. Suresh Jagannathan
   Metalevel Building Blocks for Modular Systems. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:456-492 [Journal]
   
7. Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
   On the Adequacy of Graph Rewriting for Simulating Term Rewriting. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:493-523 [Journal]
   
8. Lawrence A. Crowl, Thomas J. LeBlanc
   Parallel Programming with Control Abstraction. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:524-576 [Journal]
   
9. Ian T. Foster, Stephen Taylor
   A Compiler Approach to Scalable Concurrent-Program Design. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:577-604 [Journal]
   
10. Bijan Arbab, Daniel M. Berry
    Some Comments on ``A Denotational Semantics for Prolog''. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:605-606 [Journal]
    
11. Kim Marriott, Harald Søndergaard, Neil D. Jones
    Denotational Abstract Interpretation of Logic Programs. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:607-648 [Journal]
    
12. Michael Codish, Moreno Falaschi, Kim Marriott
    Suspension Analyses for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:649-686 [Journal]
    
13. Krzysztof R. Apt, Alessandro Pellegrini
    On the Occur-Check-Free Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:687-726 [Journal]
    
14. David Garlan, Charles W. Krueger, Barbara Staudt Lerner
    TransformGen: Automating the Maintenance of Structure-Oriented Environments. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:727-774 [Journal]
    
15. Lin Yu, Daniel J. Rosenkrantz
    A Linear-Time Scheme for Version Reconstruction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:775-797 [Journal]
    
16. Josyula R. Rao
    Reasoning about Probabilistic Parallel Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:798-842 [Journal]
    
17. Orna Grumberg, David E. Long
    Model Checking and Modular Verification. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:843-871 [Journal]
    
18. Leslie Lamport
    The Temporal Logic of Actions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:872-923 [Journal]
    
19. Manfred Broy, Greg Nelson
    Adding Fair Choice to Dijkstra's Calculus. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:924-938 [Journal]
    
20. Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit
    A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:939-953 [Journal]
    
21. Yuh-Jzer Joung, Scott A. Smolka
    Coordinating First-Order Multiparty Interactions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:954-985 [Journal]
    
22. Michael K. Reiter, Kenneth P. Birman
    How to Securely Replicate Services. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:986-1009 [Journal]
    
23. Jan Heering, Paul Klint, J. Rekers
    Lazy and Incremental Program Generation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:1010-1023 [Journal]
    
24. Mikkel Thorup
    Controlled Grammatic Ambiguity. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:1024-1050 [Journal]
    
25. Joseph Bates, Alon Lavie
    Recognizing Substrings of LR(k) Languages in Linear Time. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:1051-1077 [Journal]