Książka Static Analysis Alan Mycroft

Static Analysis

2nd International Symposium, SAS '98, Glasgow, UK, September 25-27, 1995. Proceedings

Autor: Alan Mycroft
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.91
This book constitutes the refereed proceedings of the Second International Symposium on Static Analy...

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1995
strony
431
EAN
9783540603603
ISBN
3540603603
Enbook ID
05274507
Waga
579
Wymiary
216 x 279 x 22

Pełny opis

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.

Możesz być zainteresowany

636.01

Elijah and Sabrina

PHILIP PATRICK
77.18
734.47
61.17
126.55
525.26

Port Privatisation

James Reveley
571.61

Prudence of Love

Eric J. Silverman
281.41

Klienci, którzy kupili tę książkę, kupili również