Conferences in DBLP
Oliver Rüthing Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:1-16 [Conf ] 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 ] 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 ] 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 ] François Fages , Roberta Gori Analysis of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:82-98 [Conf ] Patricia M. Hill , Roberto Bagnara , Enea Zaffanella The Correctness of Set-Sharing. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:99-114 [Conf ] 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 ] Francesca Levi A Symbolic Semantics for Abstract Model Checking. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:134-151 [Conf ] Arnaud Venet Automatic Determination of Communication Topologies in Mobile Systems. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:152-167 [Conf ] 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 ] 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 ] 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 ] 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 ] Michael Leuschel On the Power of Homeomorphic Embedding for Online Termination. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:230-245 [Conf ] 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 ] 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 ] Witold Charatonik , Andreas Podelski Directional Type Inference for Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:278-294 [Conf ] Dominic Duggan Finite Subtype Inference with Explicit Polymorphism. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:295-310 [Conf ] 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 ] Deepak Goyal , Robert Paige A New Solution to the Hidden Copy Problem. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:327-348 [Conf ] Roberto Giacobazzi A Tutorial on Domain Theory in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:349-350 [Conf ] David A. Schmidt , Bernhard Steffen Program Analysis as Model Checking of Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:351-380 [Conf ] Peter Lee Certifying, Optimizing Compilation (Abstract). [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:381- [Conf ]