ENGLISH

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

By Jens Palsberg (eds.) , Daniel Jackson (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2000
ISBN
3540676686, 9783540676683
DOI
10.1007/b87738
Open Library ID
OL12810058M
Language
english
Format
PDF
Filesize
4 MB (4393112 bytes)
Series
Lecture Notes in Computer Science 1824
Edition
1
Pages
433\447
Time added
2011-01-08 23:22:23
CompilersInterpreters; Programming Techniques; MathematicalLogics and Meanings of Programs; Programming Langu

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 20 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.

Similar books