Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings. This item is unavailable.
Language: English
Published by Springer Berlin / Heidelberg, 1995
- Softcover
- Used
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
5-star seller
AbeBooks seller since August 3, 2006
Unavailable
Softcover
Condition: Used - Good
US$ 10.33
Item description from seller
Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller Inventory # GRP17501982
- Title
- Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
- Publisher
- Springer Berlin / Heidelberg
- Publication year
- 1995
- Condition
- Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540603603
- ISBN 13
- 9783540603603
- Item weight
- 3.02 pounds
- Dimensions
- N/A
This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there are abstracts or full papers for three invited presentations and two system descriptions.
"Synopsis" may belong to another edition of this title.