Studiebog

Static Analysis

- Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (3rd: Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 - Proceedings)

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 419,95

Medlemspris: kr. 399,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: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 29-11-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.

The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal398
Udgivelsesdato11-09-1996
ISBN139783540617396
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Static Analysis

- Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (3rd: Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 - Proceedings)

Findes i disse kategorier...

Se andre, der handler om...