Studiebog

Static Analysis

- First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (1st: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 -)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 414,95

Medlemspris: kr. 394,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
Forventet levering: 22-07-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal471
Udgivelsesdato14-09-1994
ISBN139783540584858
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,3 cm

Static Analysis

- First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (1st: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 -)

Findes i disse kategorier...

Se andre, der handler om...