Verwandte Artikel zu Static Analysis: Second International Symposium, SAS...

Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science, 983, Band 983) - Softcover

Mycroft, Alan

 
9783540603603: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings (Lecture Notes in Computer Science, 983, Band 983)
Softcover
ISBN 10: 3540603603 ISBN 13: 9783540603603
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540603603
ISBN 13 
9783540603603
Einband
Taschenbuch
Anzahl der Seiten
440
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland