Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar5. SAS 1998: Pisa, Italy
Giorgio Levi:
Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings. Lecture Notes in Computer Science 1503, Springer 1998, ISBN 3-540-65014-8
Data/Flow Analysis
Oliver Rüthing:
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. 1-16Masami Hagiya, Akihiko Tozawa:
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. 17-32Vivek Sarkar, Kathleen Knobe:
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. 33-56Michael Hind, Anthony Pioli:
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. 57-81
Logic Programming
François Fages, Roberta Gori:
Analysis of Normal Logic Programs. 82-98Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. 99-114Valérie Gouranton:
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. 115-133
Concurrency
Francesca Levi:
A Symbolic Semantics for Abstract Model Checking. 134-151Arnaud Venet:
Automatic Determination of Communication Topologies in Mobile Systems. 152-167Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. 168-183
Abstract Domains
Paolo Volpe:
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. 184-199Maria Handjieva, Stanislav Tzolovski:
Refining Static Analyses by Trace-Based Partitioning Using Control Flow. 200-214Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. 215-229
Partial Evaluation
Michael Leuschel:
On the Power of Homeomorphic Embedding for Online Termination. 230-245Julio C. Peralta, John P. Gallagher, Hüseyin Saglam:
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. 246-261Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Improving Control in Functional Logic Program Specialization. 262-277
Type Inference
Witold Charatonik, Andreas Podelski:
Directional Type Inference for Logic Programs. 278-294Dominic Duggan:
Finite Subtype Inference with Explicit Polymorphism. 295-310
Optimization
Mohamed Tadjouddine, F. Eyssette, C. Faure:
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. 311-326Deepak Goyal, Robert Paige:
A New Solution to the Hidden Copy Problem. 327-348
Tutorials
Roberto Giacobazzi:
A Tutorial on Domain Theory in Abstract Interpretation. 349-350David A. Schmidt, Bernhard Steffen:
Program Analysis as Model Checking of Abstract Interpretations. 351-380
Invited Talk
Peter Lee:
Certifying, Optimizing Compilation (Abstract). 381
last updated on 2019-10-18 23:05 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
