Conferences in DBLP

Static Analysis (WSA/SAS) (sas)
1998 (conf/sas/1998)

1. Oliver Rüthing
   Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:1-16 [Conf]
   
2. Masami Hagiya, Akihiko Tozawa
   On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:17-32 [Conf]
   
3. Vivek Sarkar, Kathleen Knobe
   Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:33-56 [Conf]
   
4. Michael Hind, Anthony Pioli
   Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:57-81 [Conf]
   
5. François Fages, Roberta Gori
   Analysis of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:82-98 [Conf]
   
6. Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
   The Correctness of Set-Sharing. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:99-114 [Conf]
   
7. Valérie Gouranton
   Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:115-133 [Conf]
   
8. Francesca Levi
   A Symbolic Semantics for Abstract Model Checking. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:134-151 [Conf]
   
9. Arnaud Venet
   Automatic Determination of Communication Topologies in Mobile Systems. [Citation Graph (0, 0)][DBLP]
   SAS, 1998, pp:152-167 [Conf]
   
10. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:168-183 [Conf]
    
11. Paolo Volpe
    A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:184-199 [Conf]
    
12. Maria Handjieva, Stanislav Tzolovski
    Refining Static Analyses by Trace-Based Partitioning Using Control Flow. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:200-214 [Conf]
    
13. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:215-229 [Conf]
    
14. Michael Leuschel
    On the Power of Homeomorphic Embedding for Online Termination. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:230-245 [Conf]
    
15. Julio C. Peralta, John P. Gallagher, Hüseyin Saglam
    Analysis of Imperative Programs through Analysis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:246-261 [Conf]
    
16. Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
    Improving Control in Functional Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:262-277 [Conf]
    
17. Witold Charatonik, Andreas Podelski
    Directional Type Inference for Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:278-294 [Conf]
    
18. Dominic Duggan
    Finite Subtype Inference with Explicit Polymorphism. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:295-310 [Conf]
    
19. Mohamed Tadjouddine, F. Eyssette, C. Faure
    Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:311-326 [Conf]
    
20. Deepak Goyal, Robert Paige
    A New Solution to the Hidden Copy Problem. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:327-348 [Conf]
    
21. Roberto Giacobazzi
    A Tutorial on Domain Theory in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:349-350 [Conf]
    
22. David A. Schmidt, Bernhard Steffen
    Program Analysis as Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:351-380 [Conf]
    
23. Peter Lee
    Certifying, Optimizing Compilation (Abstract). [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:381- [Conf]