Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings, Volume 8 (Google eBook)

Front Cover
Patrick Cousot
Springer Science & Business Media, Jul 4, 2001 - Computers - 436 pages
0 Reviews
Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers presentedat the EighthInternationalStatic Analysis Symposium (SAS 2001), which was held July 16{18, 2001 at the S- bonne in Paris, France. Previous SAS symposia were held in Santa Barbara,CA, USA (LNCS 1824), Venice, Italy (LNCS 1694), Pisa, Italy (LNCS 1503), Paris, France (LNCS 1302), Aachen, Germany (LNCS 1145), Glasgow, UK(LNCS983),Namur,Belgium(LNCS864),followingtheinternationalwo- shop WSA in Padova, Italy (LNCS 724), Bordeaux, France (Bigre Vol. 81-82) and JTASPEFL/WSA, Bordeaux, France (Bigre Vol. 74). The program committee meeting was held at the Ecole Normale Sup erieure in Paris on March 31, 2001, and 21 papers were selected from 62 submissions. In addition to the contributed papers, this volume includes invited papers by RustanLeinoandMartinRinard.Thisvolumealsocontainstheabstractsofan invitedtalkbyFredSchneider and of the presentations by Bruno Blanchet, Andrew Gordon, Andrew Myers,andDavid Wagner at an invited session on security. May 2001 Patrick Cousot VI Preface ProgramCommittee Patrick Cousot (Chair) Ecole Normale Sup erieure, Paris, France Maurice Bruynooghe Katholieke Universiteit Leuven, Belgium
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Analysis of Multithreaded Programs
1
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
20
Using Slicing to Identify Duplication in Source Code
40
Soft Scheduling for Hardware
57
Effective Strictness Analysis with HORN Constraints
73
Inferring Termination Conditions of Logic Programs
93
An Abstract Analysis of the Probabilistic Termination of Programs
111
A Tool for Compositional and Focussed Static Analyses
127
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
279
Parametric Optimization of Open RealTime Systems
299
Embedding Chaos
319
Analyzing Fair Parametric Extended Automata
335
Incompleteness Counterexamples and Refinements in Abstract ModelChecking
356
Whats Needed and Why
374
A Behavioral Module System for the PiCalculus
375
An Abstract Interpretation Framework for Analysing Mobile Ambients
395

Parameterizing a Groundness Analysis of Logic Programs
146
FiniteTree Analysis for Constraint LogicBased Languages
165
Applications of Extended Static Checking
185
Cleanness Checking of String Manipulations in C Programs via Integer Analysis
194
Solving Regular Tree Grammar Based Constraints
213
Static Analyses of the Precision of FloatingPoint Operations
234
Estimating the Impact of Scalable Pointer Analysis on Optimization
260
Abstract InterpretationBased Static Analysis of Mobile Ambients
412
Static Analysis and Software Assurance
431
A Type and Effect Analysis of Security Protocols
432
by Prolog Rules
433
SecurityTyped Languages and Distributed Computation
437
Author Index
439
Copyright

Common terms and phrases

Bibliographic information