Utvidet returrett til 31. januar 2025

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Om Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

This monograph is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781680833867
  • Bindende:
  • Paperback
  • Utgitt:
  • 5. desember 2017
  • Dimensjoner:
  • 156x234x14 mm.
  • Vekt:
  • 381 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 13. desember 2024

Beskrivelse av Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

This monograph is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.

Brukervurderinger av Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation



Finn lignende bøker
Boken Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.