Features
- Cover Type: Paperback with 434 pages
- Published by: Springer
- Edition: 1st Edition June 22, 2000
- Written in: English
- ISBN 10 Number: 3540676686
- ISBN 13 Number: 978-3540676683
-
Book Dimensions:
9.3 x 6.1 x 1 inches
- Weighs: 1.2 pounds
Product Description
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.
The twenty revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of
programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.
Book Info
Proceedings of the 7th International Symposium on Static Analysis, held June 29-July 1, 2000, in Santa Barbara, California. A forum for discussion of advances in the area of developing principles and tools for high-performance implementation and verification of
programming languages. Softcover.
Search for books at
