Del 983 - Lecture Notes in Computer Science
Static Analysis
Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
Häftad, Engelska, 1995
Av Alan Mycroft
729 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum1995-09-13
- Mått216 x 279 x 24 mm
- Vikt663 g
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor431
- Upplaga1995
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- EAN9783540603603
Hoppa över listan
Du kanske också är intresserad av
Del 983
Del 983
Del 983
Del 983
Del 983
Del 983
Del 983
Del 983
Del 983