Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af Static Analysis

Static Analysis

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

Forfatter: info mangler
Bog
  • Format
  • Bog, paperback
  • Engelsk

Normalpris

kr. 414,95

Medlemspris

kr. 389,95
  • Du sparer kr. 25,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

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
Størrelse og vægt
coffee cup img
10 cm
book img
15,5 cm
23,3 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Verification Algorithms Programming Logic programming OPTIMIZATION Functional programming Static analysis Programmiertheorie Algorithm Programming theory