Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 9783540584858
Price: 52.77 EUR
Availability: InStock

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

Автор: Baudouin Lecharlier

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.77 € 103.22 лв

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

Информация за книгата

Автор

Baudouin Lecharlier

Език

Английски език

Корици

Книга - С меки корици

Издадена

1994

страници

471

EAN

9783540584858

ISBN

3540584854

Enbook ID

05274432

Издател

Springer, Berlin

Теглоt

638

Размери

155 x 233 x 24

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Static Analysis

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

Информация за книгата

Пълно описание

Може също да ви хареса

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

Клиенти, които купиха тази книга, купиха също

Soluk Fotograflar

Transatlantic Landscapes

40 kuriosesten Inseln

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