ask others

5. SAS 1998: Pisa, Italy

> Home > Conferences and Workshops > SAS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/1998
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/1998
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Ruthing98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Ruthing98
Oliver Rüthing:
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. 1-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/HagiyaT98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HagiyaT98
Masami Hagiya, Akihiko Tozawa:
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. 17-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/SarkarK98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/SarkarK98
Vivek Sarkar, Kathleen Knobe:
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. 33-56
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/HindP98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HindP98
Michael Hind, Anthony Pioli:
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. 57-81

Logic Programming

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/FagesG98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/FagesG98
François Fages, Roberta Gori:
Analysis of Normal Logic Programs. 82-98
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/HillBZ98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HillBZ98
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. 99-114
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Gouranton98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Gouranton98
Valérie Gouranton:
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. 115-133

Concurrency

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Levi98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Levi98
Francesca Levi:
A Symbolic Semantics for Abstract Model Checking. 134-151
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Venet98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Venet98
Arnaud Venet:
Automatic Determination of Communication Topologies in Mobile Systems. 152-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/BodeiDP98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/BodeiDP98
Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. 168-183

Abstract Domains

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Volpe98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Volpe98
Paolo Volpe:
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. 184-199
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/HandjievaT98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/HandjievaT98
Maria Handjieva, Stanislav Tzolovski:
Refining Static Analyses by Trace-Based Partitioning Using Control Flow. 200-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/GiacobazziRS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/GiacobazziRS98
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. 215-229

Partial Evaluation

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Leuschel98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Leuschel98
Michael Leuschel:
On the Power of Homeomorphic Embedding for Online Termination. 230-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/PeraltaGS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/PeraltaGS98
Julio C. Peralta, John P. Gallagher, Hüseyin Saglam:
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. 246-261
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/AlbertAFJV98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/AlbertAFJV98
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/CharatonikP98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/CharatonikP98
Witold Charatonik, Andreas Podelski:
Directional Type Inference for Logic Programs. 278-294
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Duggan98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Duggan98
Dominic Duggan:
Finite Subtype Inference with Explicit Polymorphism. 295-310

Optimization

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/TadjouddineEF98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/TadjouddineEF98
Mohamed Tadjouddine, F. Eyssette, C. Faure:
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. 311-326
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/GoyalP98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/GoyalP98
Deepak Goyal, Robert Paige:
A New Solution to the Hidden Copy Problem. 327-348

Tutorials

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Giacobazzi98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Giacobazzi98
Roberto Giacobazzi:
A Tutorial on Domain Theory in Abstract Interpretation. 349-350
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/SchmidtS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/SchmidtS98
David A. Schmidt, Bernhard Steffen:
Program Analysis as Model Checking of Abstract Interpretations. 351-380

Invited Talk

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sas/Lee98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sas/Lee98
Peter Lee:
Certifying, Optimizing Compilation (Abstract). 381

maintained by

at