Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540584858
Price: 276.54 RON
Availability: InStock

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

Autor: Baudouin Lecharlier

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.54 lei

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

Informații despre carte

Autor

Baudouin Lecharlier

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1994

Pagini

471

EAN

9783540584858

ISBN

3540584854

Enbook ID

05274432

Editura

Springer, Berlin

Greutate

638

Dimensiuni

155 x 233 x 24

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Static Analysis

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

Soluk Fotograflar

Transatlantic Landscapes

40 kuriosesten Inseln

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