Journals in DBLP

ACM Comput. Surv.
1996, volume: 28, number: 2

1. Chris Hankin, Hanne Riis Nielson
   Computing Surveys Symposium on Models of Programming Languages and Compuation. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:293-294 [Journal]
   
2. Gul Agha
   Linguistic Paradigms for Programming Complex Distributed Systems. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:295-296 [Journal]
   
3. Jean-Marc Andreoli, Remo Pareschi
   Integrated Computational Paradigms for Flexible Client-Server Communication. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:297-299 [Journal]
   
4. Paolo Ciancarini
   Coordination Models and Languages as Software Integrators. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:300-302 [Journal]
   
5. David Gilbert
   Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems? [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:303-305 [Journal]
   
6. Michael Hanus, Herbert Kuchen
   Integration of Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:306-308 [Journal]
   
7. Alan Mycroft
   On Integration of Programming Paradigms. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:309-311 [Journal]
   
8. Uday S. Reddy
   Imperative Functional Programming. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:312-314 [Journal]
   
9. Dennis M. Volpano, Geoffrey Smith
   On the Systematic Design of Web Languages. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:2, pp:315-317 [Journal]
   
10. Philip Wadler
    Lazy Versus Strict. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:318-320 [Journal]
    
11. P. N. Benton
    On the Relationship Between Formal Semantics and Static Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:321-323 [Journal]
    
12. Patrick Cousot
    Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:324-328 [Journal]
    
13. Olivier Danvy, Nevin Hentze, Karoline Malmkjær
    Resource-Bounded Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:329-332 [Journal]
    
14. Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
    A Unifying View of Abstract Domain Design. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:333-336 [Journal]
    
15. Suresh Jagannathan, Andrew K. Wright
    Compiling Functional Languages with Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:337-339 [Journal]
    
16. Daniel Le Métayer, David A. Schmidt
    Structural Operational Semantics as a Basis for Static Program Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:340-343 [Journal]
    
17. Flemming Nielson
    Annotated Type and Effect Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:344-345 [Journal]
    
18. Mads Dam
    Modalities in Analysis and Verification. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:346-348 [Journal]
    
19. Robert Cartwright, Matthias Felleisen
    Program Verification Through Soft Typing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:349-351 [Journal]
    
20. Pierpaolo Degano, Corrado Priami
    Enhanced Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:352-354 [Journal]
    
21. C. Barry Jay
    Shape in Computing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:355-357 [Journal]
    
22. Jens Palsberg
    Type Inference for Objects. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:358-359 [Journal]
    
23. Alberto Pettorossi, Maurizio Proietti
    Rules and Strategies for Transforming Functional and Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:360-414 [Journal]
    
24. William B. Frakes, Carol Terry
    Software Reuse: Metrics and Models. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:415-435 [Journal]