| Static Analysis: 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings 2001 Edition Contributor(s): Cousot, Patrick (Editor) |
|
 |
ISBN: 3540423141 ISBN-13: 9783540423140 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: July 2001 Annotation: This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking. |
| Additional Information |
| BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Programming Languages - General - Medical |
| Dewey: 005.1 |
| LCCN: 2001042862 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.92" H x 6.14" W x 9.21" (1.40 lbs) 439 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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 |
