skip to content
Principles of program analysis Preview this item
ClosePreview this item
Checking...

Principles of program analysis

Author: Flemming Nielson; Hanne Riis Nielson; Chris Hankin
Publisher: Berlin ; New York : Springer, ©1999.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"This book is unique in giving 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 demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Flemming Nielson; Hanne Riis Nielson; Chris Hankin
ISBN: 3540654100 9783540654100
OCLC Number: 42579405
Description: xxi, 450 pages ; 24 cm
Contents: 1. Introduction --
2. Data Flow Analysis --
3. Constraint Based Analysis --
4. Abstract Interpretation --
5. Type and Effect Systems --
6. Algorithms --
A. Partially Ordered Sets --
B. Induction and Coinduction --
C. Graphs and Regular Expressions.
Responsibility: F. Nielson, Hanne Riis Nielson, Chris Hankin.
More information:

Abstract:

This is an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

All user tags (2)

View most popular tags as: tag list | tag cloud

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/42579405> # Principles of program analysis
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "42579405" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/880292#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/logiciels> ; # Logiciels
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/analyse_programme> ; # analyse programme
    schema:about <http://dewey.info/class/005.1/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/algorithme> ; # algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/flot_donnee> ; # flot donnée
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/transformation_programme> ; # transformation programme
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/systeme_base_contrainte> ; # système base contrainte
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/872410> ; # Computer programs
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/interpretation_abstraite> ; # interprétation abstraite
    schema:about <http://experiment.worldcat.org/entity/work/data/880292#Topic/type> ; # type
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/91794833> ; # Chris Hankin
    schema:contributor <http://viaf.org/viaf/112753746> ; # Hanne Riis Nielson
    schema:copyrightYear "1999" ;
    schema:creator <http://viaf.org/viaf/51843762> ; # Flemming Nielson
    schema:datePublished "1999" ;
    schema:description "1. Introduction -- 2. Data Flow Analysis -- 3. Constraint Based Analysis -- 4. Abstract Interpretation -- 5. Type and Effect Systems -- 6. Algorithms -- A. Partially Ordered Sets -- B. Induction and Coinduction -- C. Graphs and Regular Expressions."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/880292> ;
    schema:inLanguage "en" ;
    schema:name "Principles of program analysis"@en ;
    schema:productID "42579405" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/42579405#PublicationEvent/berlin_new_york_springer_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/880292#Agent/springer> ; # Springer
    schema:reviews <http://www.worldcat.org/title/-/oclc/42579405#Review/976467906> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0816/99047677-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540654100> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA029388> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/42579405> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/analyse_programme> # analyse programme
    a schema:Intangible ;
    schema:name "analyse programme"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/interpretation_abstraite> # interprétation abstraite
    a schema:Intangible ;
    schema:name "interprétation abstraite"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/logiciels> # Logiciels
    a schema:Intangible ;
    schema:name "Logiciels"@en ;
    schema:name "Logiciels"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/systeme_base_contrainte> # système base contrainte
    a schema:Intangible ;
    schema:name "système base contrainte"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/880292#Topic/transformation_programme> # transformation programme
    a schema:Intangible ;
    schema:name "transformation programme"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/872410> # Computer programs
    a schema:Intangible ;
    schema:name "Computer programs"@en ;
    .

<http://viaf.org/viaf/112753746> # Hanne Riis Nielson
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Nielson" ;
    schema:givenName "Hanne Riis" ;
    schema:name "Hanne Riis Nielson" ;
    .

<http://viaf.org/viaf/51843762> # Flemming Nielson
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Nielson" ;
    schema:givenName "Flemming" ;
    schema:name "Flemming Nielson" ;
    .

<http://viaf.org/viaf/91794833> # Chris Hankin
    a schema:Person ;
    schema:familyName "Hankin" ;
    schema:givenName "Chris" ;
    schema:name "Chris Hankin" ;
    .

<http://worldcat.org/isbn/9783540654100>
    a schema:ProductModel ;
    schema:isbn "3540654100" ;
    schema:isbn "9783540654100" ;
    .

<http://www.worldcat.org/title/-/oclc/42579405#Review/976467906>
    a schema:Review ;
    schema:itemReviewed <http://www.worldcat.org/oclc/42579405> ; # Principles of program analysis
    schema:reviewBody ""This book is unique in giving 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 demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M. Sc. and Ph. D. students but will be valuable also for experienced researchers and professionals."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.