Produktnummer:
18236e9bd49de94fadba7be77d7236bdaf
| Themengebiete: | High-Level Programming High-Performance Computing Höherstufiges Programmieren Performance Static Analysis Systemimplementierung Systems Implementation Systems Verfication programming programming language |
|---|---|
| Veröffentlichungsdatum: | 13.09.1995 |
| EAN: | 9783540603603 |
| Sprache: | Englisch |
| Seitenzahl: | 431 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Mycroft, Alan |
| Verlag: | Springer Berlin |
| Untertitel: | Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings |
Produktinformationen "Static Analysis"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen