Static Analysis edito da Springer Berlin Heidelberg
Alta reperibilità

Static Analysis

First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings

EAN:

9783540584858

ISBN:

3540584854

Pagine:
484
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Static Analysis

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.
The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address static analysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.

Spedizione gratuita
€ 91.48€ 96.29
Risparmi:€ 4.81(5%)
o 3 rate da € 30.49 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Static Analysis
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti