Książka Static Analysis Radhia Cousot

Static Analysis

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.57
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1996
strony
398
EAN
9783540617396
ISBN
3540617396
Enbook ID
05274620
Waga
524
Wymiary
156 x 234 x 21

Pełny opis

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Możesz być zainteresowany

TAX HAVENS

Kacou Antoine N'zi
252.52

What's the Weather?

Shelley Rotner
63.61

Butchered Dreams

Hadena James
61.08

Fields of Praise

Marilyn Nelson
134.54

Thoughts and Commentary

Dale L Netherton
134.54

Great Sea

David Abulafia
76.18
2 401.33
177.40
212.57

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

Une politique europeenne

Etienne Grosclaude
66.43

Dragon Ball Z. Saiyanos 03

Daruma Serveis Lingüístics
61.56
58.83