![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
5. 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-16 - Masami Hagiya, Akihiko Tozawa:
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. 17-32 - Vivek Sarkar, Kathleen Knobe:
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. 33-56 - Michael 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-98 - Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. 99-114 - Valé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-151 - Arnaud Venet:
Automatic Determination of Communication Topologies in Mobile Systems. 152-167 - Chiara 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-199 - Maria Handjieva, Stanislav Tzolovski:
Refining Static Analyses by Trace-Based Partitioning Using Control Flow. 200-214 - Roberto 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-245 - Julio C. Peralta, John P. Gallagher
, Hüseyin Saglam:
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. 246-261 - Elvira 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-294 - Dominic 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-326 - Deepak 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-350 - David A. Schmidt, Bernhard Steffen:
Program Analysis as Model Checking of Abstract Interpretations. 351-380
Invited Talk
- Peter Lee:
Certifying, Optimizing Compilation (Abstract). 381
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.