ENGLISH

Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings

By Martin Rinard (auth.) , Patrick Cousot (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2001
ISBN
978-3-540-42314-0, 978-3-540-47764-8, 3-540-42314-1
DOI
10.1007/3-540-47764-0
Language
english
Format
PDF
Filesize
5 MB (5725696 bytes)
Series
Lecture Notes in Computer Science 2126
Edition
1
Pages
439\449
Time added
2014-01-18 08:00:00
CompilersInterpreters; Programming Techniques; Software EngLogics and Meanings of Programs; Programming Langu

Description

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.

Similar books