Static Analysis, Fachbücher von Hanne Riis Nielson, Gilberto Filé
Das Buch "Static Analysis" bietet eine umfassende Sammlung von Forschungsarbeiten, die auf dem 14. Internationalen Symposium ... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Static Analysis" bietet eine umfassende Sammlung von Forschungsarbeiten, die auf dem 14. Internationalen Symposium zur statischen Analyse (SAS 2007) präsentiert wurden. Ziel der statischen Analyse ist es, Prinzipien, Techniken und Werkzeuge zu entwickeln, um die Eigenschaften von Programmen zu validieren, semantische Transformationen von Programmen zu entwerfen und leistungsstarke Implementierungen von Hochsprachen zu erzielen. Die Beiträge in diesem Band spiegeln die neuesten theoretischen und praktischen Fortschritte in diesem Bereich wider und bieten wertvolle Einblicke in innovative Ansätze zur statischen Analyse. Die Auswahl der Arbeiten erfolgte durch ein strenges Begutachtungsverfahren, bei dem 85 eingereichte Manuskripte von Experten bewertet wurden. Die beiden eingeladenen Redner, Frank Tip und Alan Mycroft, ergänzen die Sammlung mit ihren Beiträgen und erweitern das Verständnis für die aktuellen Herausforderungen und Entwicklungen in der statischen Analyse.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer