HjemGrupperSnakMereZeitgeist
Søg På Websted
På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.
Hide this

Resultater fra Google Bøger

Klik på en miniature for at gå til Google Books

Principles of Program Analysis af Flemming…
Indlæser...

Principles of Program Analysis (udgave 2004)

af Flemming Nielson

MedlemmerAnmeldelserPopularitetGennemsnitlig vurderingSamtaler
49Ingen409,546 (3)Ingen
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.… (mere)
Medlem:DeptInformatique
Titel:Principles of Program Analysis
Forfattere:Flemming Nielson
Info:Springer (2004), Edition: Corrected, Hardcover, 452 pages
Samlinger:Dit bibliotek
Vurdering:
Nøgleord:Fabien

Detaljer om værket

Principles of Program Analysis af Flemming Nielson

Ingen
Indlæser...

Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog.

Der er ingen diskussionstråde på Snak om denne bog.

Ingen anmeldelser
ingen anmeldelser | tilføj en anmeldelse
Du bliver nødt til at logge ind for at redigere data i Almen Viden.
For mere hjælp se Almen Viden hjælpesiden.
Kanonisk titel
Originaltitel
Alternative titler
Oprindelig udgivelsesdato
Personer/Figurer
Vigtige steder
Vigtige begivenheder
Beslægtede film
Priser og hædersbevisninger
Indskrift
Tilegnelse
Første ord
Citater
Sidste ord
Oplysning om flertydighed
Forlagets redaktører
Bagsidecitater
Originalsprog
Canonical DDC/MDS

Henvisninger til dette værk andre steder.

Wikipedia på engelsk (1)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

No library descriptions found.

Beskrivelse af bogen
Haiku-resume

Quick Links

Populære omslag

Vurdering

Gennemsnit: (3)
0.5
1 1
1.5
2
2.5
3 2
3.5
4
4.5
5 1

Er det dig?

Bliv LibraryThing-forfatter.

 

Om | Kontakt | LibraryThing.com | Brugerbetingelser/Håndtering af brugeroplysninger | Hjælp/FAQs | Blog | Butik | APIs | TinyCat | Efterladte biblioteker | Tidlige Anmeldere | Almen Viden | 157,997,757 bøger! | Topbjælke: Altid synlig