Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

>> Google Books

所蔵情報QRコード

Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)

資料種別:

図書

出版情報:

Berlin : Springer, c2001

形態:

xi, 436 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2126 <BA00009279>

著者名:

ISBN:

9783540423140 [3540423141]

書誌ID:

BA52831233

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Computer programming--Congresses; Electronic digital computers--Programming--Congresses; Programming languages (Electronic computers)--Congresses

言語:

英語

目次情報:

Invited Paper

Analysis of Multithreaded Programs / Martin Rinard

Program Transformation

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau

Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz

Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft

Strictness and Termination

Effective Strictness Analysis with HORN Constraints / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann

Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard ; Ulrich Neumerkel

An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux

Semantics Abstraction

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto

Logic and Constraint Programming

Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu

Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara ; Roberta Gori ; Patricia M. Hill ; Enea Zaffanella

Applications of Extended Static Checking / K. Rustan M. Leino

Data Structures

Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor ; Michael Rodeh ; Mooly Sagiv

Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu ; Ning Li ; Scott D. Stoller

Static Analyses of the Precision of Floating-Point Operations / Eric Goubault

Pointer Analysis

Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das ; Ben Liblit ; Manuel Fahndrich ; Jakob Rehof

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang ; Mary Jean Harrold

Model Checking

Parametric Optimization of Open Real-Time Systems / Farn Wang ; Hsu-Chun Yen

Embedding Chaos / Natalia Sidorova ; Martin Steffen

Abstract Model Checking

Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani ; Aurore Collomb-Annichini ; Yassine Lakhnech ; Mihaela Sighireanu

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi ; Elisa Quintarelli

Invited Talk

Language-Based Security: WhatÃ†s Needed and Why (Abstract) / Fred Schneider

Mobility

A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani

An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi ; Sergio Maffeis

Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret

Invited Session on Security

Static Analysis and Software Assurance (Abstract) / David Wagner

A Type and Effect Analysis of Security Protocols (Abstract) / Andrew D. Gordon ; Alan Jeffrey

Abstracting Cryptographic Protocols by Prolog Rules (Abstract) / Bruno Blanchet

Security-Typed Languages and Distributed Computation (Abstract) / Andrew Myers

Author Index

Invited Paper

Analysis of Multithreaded Programs / Martin Rinard

Program Transformation

Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau

Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz

Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings SAS, Van Hentenryck, Pascal Springer	7 図書 Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, … Springer
2 図書 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings SAS, Palsberg, Jens Springer	8 図書 Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings SAS, Mycroft, Alan Springer
3 図書 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings SAS, Cousot, Radhia, Schmidt, David A., 1953- Springer	9 図書 Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings (: gw ; : us) Workshop on Static Analysis, Cousot, Patrick, 1948- Springer-Verlag
4 図書 Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings SAS, Levi, Giorgio, 1942- Springer	10 図書 Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings International Colloquium on Automata, Languages and Programming, Widmayer, Peter Springer
5 図書 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings SAS, Cortesi, Agostino, Filé, Gilberto, 1951- Springer	11 図書 Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, … International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl Springer
6 図書 Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings (: gw ; : us) SAS, Le Charlier, Baudouin, 1950- Springer-Verlag	12 図書 Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 International Workshop on Natural Language Understanding and Logic Programming, Dahl, Veronica, 1950-, Saint-Dizier, … North-Holand, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.