Reasoning about program transformations: imperative programming and flow of data
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Springer
2003
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XVIII, 237 S. graph. Darst. |
| ISBN: | 0387953914 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV014342617 | ||
| 003 | DE-604 | ||
| 005 | 20030327 | ||
| 007 | t | ||
| 008 | 020603s2003 xxud||| |||| 00||| eng d | ||
| 016 | 7 | |a 965826791 |2 DE-101 | |
| 020 | |a 0387953914 |9 0-387-95391-4 | ||
| 035 | |a (OCoLC)48711268 | ||
| 035 | |a (DE-599)BVBBV014342617 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-739 |a DE-384 |a DE-634 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 21 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Collard, Jean-François |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Reasoning about program transformations |b imperative programming and flow of data |c Jean-François Collard |
| 264 | 1 | |a New York [u.a.] |b Springer |c 2003 | |
| 300 | |a XVIII, 237 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Imperative programming | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmische Programmiersprache |0 (DE-588)4141876-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paralleles Programm |0 (DE-588)4552796-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenfluss |0 (DE-588)4191571-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algorithmische Programmiersprache |0 (DE-588)4141876-1 |D s |
| 689 | 1 | 1 | |a Paralleles Programm |0 (DE-588)4552796-9 |D s |
| 689 | 1 | 2 | |a Datenfluss |0 (DE-588)4191571-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009835487&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009835487 | ||
Datensatz im Suchindex
| _version_ | 1804129236126007296 |
|---|---|
| adam_text | JEAN-FRANCOIS COLLARD REASONING ABOUT PROGRAM TRANSFORMATIONS IMPERATIVE
PROGRAMMING AND FLOW OF DATA WITH 125 ILLUSTRATIONS SPRINGER CONTENTS
PREFACE VII 1 INTRODUCTION 1 1.1 COMPUTERS HAVE MEMORY 2 1.2 PROGRAMS
UPDATE MEMORY , 4 1.3 WHAT IS A PROGRAM TRANSFORMATION? WHEN IS IT
CORRECT? 5 1.4 PARALLELISM AND PARALLEL LANGUAGES 6 1.5 TRANSFORMING A
PROGRAM INTO A PARALLEL ONE 8 1.6 ANOTHER TYPICAL TRANSFORMATION:
EXPANSION 9 1.7 YET ANOTHER TRANSFORMATION: CONTRACTION 11 1.8 DEALING
WITH STATEMENT INSTANCES 11 1.9 PARAMETERS 13 1.10 WHAT THIS BOOK IS
ABOUT 14 1.11 WHAT THIS BOOK IS NOT ABOUT 14 BASIC CONCEPTS 17
DESCRIBING PROGRAM EXECUTIONS 19 2.1 LANGUAGE AND STATEMENTS 20 2.2
PROGRAM STATES, COMPUTATIONS, AND PATHS 22 2.3 STATEMENT INSTANCES * * *
* 28 2.4 MEMORY 29 2.5 EXECUTION ORDER . 32 2.6 RELATIONS 33 2.7
SCHEDULING 34 2.8 FROM MATH TO COMPILERS 35 LABELS 37 3.1 THE CASE OF
LOOP NESTS 37 3.2 CHANGING THE EXECUTION ORDER 45 3.3 THE CASE OF
RECURSIVE PROGRAMS 47 3.4 FURTHER READING 55 3.5 CONCLUSION 55 XII
CONTENTS II ANALYSES AND TRANSFORMATIONS 57 4 REVISITING SOME CLASSICAL
COMPILER CONCEPTS 59 4.1 ALIAS ANALYSIS 59 4.2 REACHING DEFINITION
ANALYSIS 61 4.3 REACHING DEFINITION ANALYSIS AND PROGRAM TRANSFORMATIONS
64 4.4 DOMINANCE 65 4.4.1 SEMANTIC VERSUS SYNTACTIC DOMINANCE 66 4.4.2
THE CASE OF RECURSIVE PROGRAMS 69 4.5 INITIALIZED, LIVE, AND DEAD
VARIABLES 71 4.6 CONCLUSION 75 5 REACHING DEFINITION ANALYSIS 77 5.1
ITERATIVE REACHING DEFINITIONS ANALYSES 81 5.1.1 THE CLASSICAL SETTING
81 5.1.2 ITERATIVE INSTANCEWISE RD ANALYSES 83 5.2 DIRECT REACHING
DEFINITION ANALYSES 86 5.2.1 THE INTUITION 86 5.2.2 THE NONAFFINE CASE
98 5.2.3 PLUGGING IN ADDITIONAL PROPERTIES 104 5.2.4 SHORTCOMINGS OF
DIRECT TECHNIQUES 112 5.3 RECURSIVE PROGRAMS 112 5.3.1 EXPRESSING
RELATIONS ON WORDS 113 5.3.2 RECURSIVE PROGRAMS WITH ARRAYS 116 5.4
FURTHER READING 121 5.5 CONCLUSION 122 6 APPLICATIONS OF REACHING
DEFINITION ANALYSIS 123 6.1 VALUE SHARING 123 6.2 SUCCESSIVE REACHING
DEFINITION ANALYSES 127 6.3 REACHING DEFINITION ANALYSES AND
VERIFICATION 131 6.3.1 REACHING DEFINITIONS AND ASSERTIONS 134 6.3.2
REACHING DEFINITIONS AND WEAKEST PRECONDITIONS 138 6.4 CONCLUSION 142 7
SOME CLASSICAL COMPILER CONCEPTS, PART II 143 7.1 DEPENDENCE ANALYSIS
143 7.2 PREVIOUS REFERENCES 148 7.3 LAST REFERENCES 155 7.4
ITERATION-BASED SLICING 155 7.4.1 A FEW WORDS ON TRANSITIVE CLOSURE 155
7.4.2 PROGRAM SLICING 158 7.5 CONCLUSION 161 CONTENTS XIII HI DATA FLOW
AND EXPANSION 163 8 SINGLE-ASSIGNMENT FORMS 165 8.1 SINGLE-ASSIGNMENT
FORM 165 8.1.1 THE INTUITION: STRAIGHT-LINE CODES 166 8.1.2 THE CASE OF
LOOPS 170 8.1.3 RECURSIVE PROCEDURES 176 * 8.1.4 ARRAY SINGLE ASSIGNMENT
179 8.1.5 SINGLE ASSIGNMENT AND SYSTOLIC ARRAY DESIGN 187 8.2 STATIC
SINGLE ASSIGNMENT 188 8.3 FURTHER READING 192 8.4 CONCLUSION 193 9
MAXIMAL STATIC EXPANSION 195 9.1 MOTIVATING EXAMPLES 196 9.2 PROBLEM
STATEMENT 200 9.3 CONSTRUCTING THE MAXIMAL STATIC EXPANSION 202 9.4 BACK
TO THE EXAMPLES 203 9.5 CONCLUSION 210 10 PARALLEL LANGUAGES 211 10.1
PARALLEL LANGUAGES 211 10.2 EXECUTION ORDER 214 10.3 REACHING DEFINITION
ANALYSIS 217 10.4 (S)SA FORMS FOR EXPLICITLY PARALLEL PROGRAMS 219 10.5
FURTHER READING 221 10.6 CONCLUSION 222 11 CONCLUSION: TOWARD ALGORITHM
RECOGNITION 223 REFERENCES 229 INDEX 236
|
| any_adam_object | 1 |
| author | Collard, Jean-François |
| author_facet | Collard, Jean-François |
| author_role | aut |
| author_sort | Collard, Jean-François |
| author_variant | j f c jfc |
| building | Verbundindex |
| bvnumber | BV014342617 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| ctrlnum | (OCoLC)48711268 (DE-599)BVBBV014342617 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02051nam a2200505zc 4500</leader><controlfield tag="001">BV014342617</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030327 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020603s2003 xxud||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965826791</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387953914</subfield><subfield code="9">0-387-95391-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48711268</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014342617</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Collard, Jean-François</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning about program transformations</subfield><subfield code="b">imperative programming and flow of data</subfield><subfield code="c">Jean-François Collard</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 237 S.</subfield><subfield code="b">graph. Darst.</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">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Imperative programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmische Programmiersprache</subfield><subfield code="0">(DE-588)4141876-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleles Programm</subfield><subfield code="0">(DE-588)4552796-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Algorithmische Programmiersprache</subfield><subfield code="0">(DE-588)4141876-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Paralleles Programm</subfield><subfield code="0">(DE-588)4552796-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009835487&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009835487</subfield></datafield></record></collection> |
| id | DE-604.BV014342617 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:01:55Z |
| institution | BVB |
| isbn | 0387953914 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009835487 |
| oclc_num | 48711268 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-634 |
| owner_facet | DE-739 DE-384 DE-634 |
| physical | XVIII, 237 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| spelling | Collard, Jean-François Verfasser aut Reasoning about program transformations imperative programming and flow of data Jean-François Collard New York [u.a.] Springer 2003 XVIII, 237 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Imperative programming Programming languages (Electronic computers) Programmtransformation (DE-588)4263654-1 gnd rswk-swf Algorithmische Programmiersprache (DE-588)4141876-1 gnd rswk-swf Paralleles Programm (DE-588)4552796-9 gnd rswk-swf Datenfluss (DE-588)4191571-9 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmtransformation (DE-588)4263654-1 s Programmanalyse (DE-588)4175841-9 s DE-604 Algorithmische Programmiersprache (DE-588)4141876-1 s Paralleles Programm (DE-588)4552796-9 s Datenfluss (DE-588)4191571-9 s HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009835487&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Collard, Jean-François Reasoning about program transformations imperative programming and flow of data Imperative programming Programming languages (Electronic computers) Programmtransformation (DE-588)4263654-1 gnd Algorithmische Programmiersprache (DE-588)4141876-1 gnd Paralleles Programm (DE-588)4552796-9 gnd Datenfluss (DE-588)4191571-9 gnd Programmanalyse (DE-588)4175841-9 gnd |
| subject_GND | (DE-588)4263654-1 (DE-588)4141876-1 (DE-588)4552796-9 (DE-588)4191571-9 (DE-588)4175841-9 |
| title | Reasoning about program transformations imperative programming and flow of data |
| title_auth | Reasoning about program transformations imperative programming and flow of data |
| title_exact_search | Reasoning about program transformations imperative programming and flow of data |
| title_full | Reasoning about program transformations imperative programming and flow of data Jean-François Collard |
| title_fullStr | Reasoning about program transformations imperative programming and flow of data Jean-François Collard |
| title_full_unstemmed | Reasoning about program transformations imperative programming and flow of data Jean-François Collard |
| title_short | Reasoning about program transformations |
| title_sort | reasoning about program transformations imperative programming and flow of data |
| title_sub | imperative programming and flow of data |
| topic | Imperative programming Programming languages (Electronic computers) Programmtransformation (DE-588)4263654-1 gnd Algorithmische Programmiersprache (DE-588)4141876-1 gnd Paralleles Programm (DE-588)4552796-9 gnd Datenfluss (DE-588)4191571-9 gnd Programmanalyse (DE-588)4175841-9 gnd |
| topic_facet | Imperative programming Programming languages (Electronic computers) Programmtransformation Algorithmische Programmiersprache Paralleles Programm Datenfluss Programmanalyse |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009835487&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT collardjeanfrancois reasoningaboutprogramtransformationsimperativeprogrammingandflowofdata |