You might also like

More about Static Analysis

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Systems analysis & design

• Full title: Static Analysis
• Subtitle: 2nd International Symposium, SAS '98, Glasgow, UK, September 25-27, 1995. Proceedings
• Author: Alan Mycroft
• Language: English
• Binding: Paperback
• Number of pages: 431
• EAN: 9783540603603
• ISBN: 3540603603
• ID: 05274507
• Publisher: Springer, Berlin
• Weight: 579 g
• Dimensions: 279 × 216 × 22 mm
• Published: 1995

Trending among others

---

---

---