Principles of program analysis:
Program analysis concerns static techniques for computating reliable approximate information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between dat...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Ausgabe: | Corrected 2nd printing |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Program analysis concerns static techniques for computating reliable approximate information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book gives 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. |
| Beschreibung: | Literaturverzeichnis Seite [440]-452 |
| Beschreibung: | XXI, 452 Seiten Diagramme |
| ISBN: | 3540654100 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV019686511 | ||
| 003 | DE-604 | ||
| 005 | 20191119 | ||
| 007 | t | ||
| 008 | 050204s2005 gw |||| |||| 00||| ger d | ||
| 020 | |a 3540654100 |9 3-540-65410-0 | ||
| 035 | |a (OCoLC)82438750 | ||
| 035 | |a (DE-599)BVBBV019686511 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29T |a DE-20 |a DE-83 |a DE-11 |a DE-384 |a DE-19 |a DE-706 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 68N30 |2 msc | ||
| 084 | |a 68N01 |2 msc | ||
| 084 | |a 68Q60 |2 msc | ||
| 100 | 1 | |a Nielson, Flemming |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Principles of program analysis |c Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin |
| 250 | |a Corrected 2nd printing | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XXI, 452 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverzeichnis Seite [440]-452 | ||
| 520 | 3 | |a Program analysis concerns static techniques for computating reliable approximate information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book gives 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. | |
| 650 | 4 | |a Logiciels | |
| 650 | 7 | |a Logiciels |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation |2 ram | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a algorithme |2 inriac | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a flot donnée |2 inriac | |
| 650 | 7 | |a interprétation abstraite |2 inriac | |
| 650 | 7 | |a système base contrainte |2 inriac | |
| 650 | 7 | |a transformation programme |2 inriac | |
| 650 | 7 | |a type |2 inriac | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Computer programs | |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Nielson, Hanne Riis |d 1954- |e Verfasser |0 (DE-588)120458241 |4 aut | |
| 700 | 1 | |a Hankin, Chris |e Verfasser |4 aut | |
| 856 | 4 | |u http://www3.ub.tu-berlin.de/ihv/001692291.pdf |3 Inhaltsverzeichnis | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013014397 | ||
Datensatz im Suchindex
| _version_ | 1804133129612427264 |
|---|---|
| any_adam_object | |
| author | Nielson, Flemming Nielson, Hanne Riis 1954- Hankin, Chris |
| author_GND | (DE-588)120458241 |
| author_facet | Nielson, Flemming Nielson, Hanne Riis 1954- Hankin, Chris |
| author_role | aut aut aut |
| author_sort | Nielson, Flemming |
| author_variant | f n fn h r n hr hrn c h ch |
| building | Verbundindex |
| bvnumber | BV019686511 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 134 ST 230 |
| ctrlnum | (OCoLC)82438750 (DE-599)BVBBV019686511 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | Corrected 2nd printing |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02876nam a2200625 c 4500</leader><controlfield tag="001">BV019686511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191119 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050204s2005 gw |||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540654100</subfield><subfield code="9">3-540-65410-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)82438750</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019686511</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68N30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68N01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nielson, Flemming</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of program analysis</subfield><subfield code="c">Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Corrected 2nd printing</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 452 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis Seite [440]-452</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Program analysis concerns static techniques for computating reliable approximate information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book gives 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.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">flot donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interprétation abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système base contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transformation programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nielson, Hanne Riis</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120458241</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hankin, Chris</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www3.ub.tu-berlin.de/ihv/001692291.pdf</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013014397</subfield></datafield></record></collection> |
| id | DE-604.BV019686511 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T20:03:49Z |
| institution | BVB |
| isbn | 3540654100 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013014397 |
| oclc_num | 82438750 |
| open_access_boolean | |
| owner | DE-29T DE-20 DE-83 DE-11 DE-384 DE-19 DE-BY-UBM DE-706 |
| owner_facet | DE-29T DE-20 DE-83 DE-11 DE-384 DE-19 DE-BY-UBM DE-706 |
| physical | XXI, 452 Seiten Diagramme |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| spelling | Nielson, Flemming Verfasser aut Principles of program analysis Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin Corrected 2nd printing Berlin [u.a.] Springer 2005 XXI, 452 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Literaturverzeichnis Seite [440]-452 Program analysis concerns static techniques for computating reliable approximate information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book gives 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. Logiciels Logiciels ram Ordinateurs - Programmation ram Programmation (Informatique) algorithme inriac analyse programme inriac flot donnée inriac interprétation abstraite inriac système base contrainte inriac transformation programme inriac type inriac Computer programming Computer programs Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmanalyse (DE-588)4175841-9 s DE-604 Nielson, Hanne Riis 1954- Verfasser (DE-588)120458241 aut Hankin, Chris Verfasser aut http://www3.ub.tu-berlin.de/ihv/001692291.pdf Inhaltsverzeichnis |
| spellingShingle | Nielson, Flemming Nielson, Hanne Riis 1954- Hankin, Chris Principles of program analysis Logiciels Logiciels ram Ordinateurs - Programmation ram Programmation (Informatique) algorithme inriac analyse programme inriac flot donnée inriac interprétation abstraite inriac système base contrainte inriac transformation programme inriac type inriac Computer programming Computer programs Programmanalyse (DE-588)4175841-9 gnd |
| subject_GND | (DE-588)4175841-9 |
| title | Principles of program analysis |
| title_auth | Principles of program analysis |
| title_exact_search | Principles of program analysis |
| title_full | Principles of program analysis Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin |
| title_fullStr | Principles of program analysis Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin |
| title_full_unstemmed | Principles of program analysis Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin |
| title_short | Principles of program analysis |
| title_sort | principles of program analysis |
| topic | Logiciels Logiciels ram Ordinateurs - Programmation ram Programmation (Informatique) algorithme inriac analyse programme inriac flot donnée inriac interprétation abstraite inriac système base contrainte inriac transformation programme inriac type inriac Computer programming Computer programs Programmanalyse (DE-588)4175841-9 gnd |
| topic_facet | Logiciels Ordinateurs - Programmation Programmation (Informatique) algorithme analyse programme flot donnée interprétation abstraite système base contrainte transformation programme type Computer programming Computer programs Programmanalyse |
| url | http://www3.ub.tu-berlin.de/ihv/001692291.pdf |
| work_keys_str_mv | AT nielsonflemming principlesofprogramanalysis AT nielsonhanneriis principlesofprogramanalysis AT hankinchris principlesofprogramanalysis |