Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540584858
Price: 1147 CZK
Availability: InStock

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

Autor: Baudouin Lecharlier

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),...

Informace o knize

Autor

Baudouin Lecharlier

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1994

Stránek

471

EAN

9783540584858

ISBN

3540584854

Enbook ID

05274432

Vydavatel

Springer, Berlin

Hmotnost

638

Rozměry

155 x 233 x 24

Kompletní popis

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 staticanalysis 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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Static Analysis

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Evolution by Gene Duplication

Stir of Echo

Academies of Art

Rhythm of Hope

Else B. in the Sea: The Woman Who Painted the Wonders of the Deep

Unlocking the Cellar Dreams of a Poet

Bad Drawer

Weather Channel Pioneers

Harry Potter: A History of Magic (American Edition)

The Mythologies Of Ancient Mexico And Peru

Northanger Abbey

Complete Global Perspectives for Cambridge IGCSE (R) & O Level Teacher Guide

Maine Road Voices

Those Who Wish Me Dead

Tropical Vegetable Production

Particles and Cosmology

Zákaznicí kteří koupili tuto knihu koupili také

Soluk Fotograflar

Transatlantic Landscapes

40 kuriosesten Inseln

Gnus - die großen Wanderer (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender