default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. 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
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.
last updated on 2024-11-19 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
