Code generation: concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London u.a.
Springer
1992
|
| Schriftenreihe: | Workshops in computing
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 319 S. graph. Darst. |
| ISBN: | 3540197575 0387197575 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005922074 | ||
| 003 | DE-604 | ||
| 005 | 19930506 | ||
| 007 | t| | ||
| 008 | 921221s1992 xx d||| |||| 10||| eng d | ||
| 020 | |a 3540197575 |9 3-540-19757-5 | ||
| 020 | |a 0387197575 |9 0-387-19757-5 | ||
| 035 | |a (OCoLC)26095252 | ||
| 035 | |a (DE-599)BVBBV005922074 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-384 | ||
| 050 | 0 | |a QA76.76.G46 | |
| 082 | 0 | |a 005.4/5 |2 20 | |
| 084 | |a DAT 580f |2 stub | ||
| 245 | 1 | 0 | |a Code generation |b concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 |c Robert Giegerich ... (eds.) |
| 264 | 1 | |a London u.a. |b Springer |c 1992 | |
| 300 | |a X, 319 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Workshops in computing | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Code generators |v Congresses | |
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Dagstuhl |2 gnd-content | |
| 689 | 0 | 0 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Giegerich, Robert |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Code Generation |d 1991 |c Dagstuhl |j Sonstige |0 (DE-588)2125218-X |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003708579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003708579 | |
Datensatz im Suchindex
| _version_ | 1820868101343805440 |
|---|---|
| adam_text |
Contents
Code
Selection
Code
Selection by Regularly Controlled Term Rewriting
Helmut Emmelmann
. 3
Tree Automata for Code Selection
Christian Ferdinand, Helmut
Seidl
and
Reinhard Wilhelm. 30
Considerate Code Selection
Robert Giegerich
. 51
Discussion: Code Generator Specification Techniques
Chris
Fraser
,
John Boyland and Helmut Emmelmann
. 66
Code Generation for Parallel Architectures
Scheduling Vector Straight Line Code on Vector Processors
C. W.
Keßler,
W.J. Paul and T.
Rauber. 73
Compiling for Massively Parallel Machines
Michael Philippsen and Walter F.
Tichy
. 92
Discussion: Parallelism
Walter F.
Tichy
and Michael Philippsen
. 112
Register Allocation and Phase Ordering
A Quantitative Algorithm for Data Locality Optimization
François
Bodin,
William Jalby, Daniel
Windheiser
and
Christine Eisenbeis
. 119
Phase Ordering of Register Allocation and Instruction Scheduling
Stefan M. Freudenberger and John
C. Ruttenberg.
146
Contents
Formal
Methods
From Programs to Object Code using Logic and Logic
Programming
Jonathan Bowen
. 173
An Approach to Automatic Proof Support for Code Generator
Verification
Bettina
Buth and
Karl-Heinz
Buth
. 193
The Semantics and Syntax of Update Schemes
HughOsborne
. 210
Additional Topics
Attributed Transformational Code Generation for Dynamic
Compilers
John Boyland, Charles Farnum and Susan L. Graham
. 227
The
RTL
System: A Framework for Code Optimization
Ralph E. Johnson, Carl McConnell and J. Michael Lake
. 255
Systems for Late Code Modification
David W. Wall
. 275
The Design of a Back-end Object Management System
A. Asthana, H. V. Jagaabh and P. Krzyzanowski
. 294
Author Index
. 321 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV005922074 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.G46 |
| callnumber-search | QA76.76.G46 |
| callnumber-sort | QA 276.76 G46 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1991 |
| classification_tum | DAT 580f |
| ctrlnum | (OCoLC)26095252 (DE-599)BVBBV005922074 |
| dewey-full | 005.4/5 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.4/5 |
| dewey-search | 005.4/5 |
| dewey-sort | 15.4 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV005922074</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930506</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921221s1992 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540197575</subfield><subfield code="9">3-540-19757-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387197575</subfield><subfield code="9">0-387-19757-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26095252</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005922074</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.G46</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.4/5</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 580f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Code generation</subfield><subfield code="b">concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991</subfield><subfield code="c">Robert Giegerich ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 319 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="490" ind1="0" ind2=" "><subfield code="a">Workshops in computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Code generators</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Dagstuhl</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</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">Giegerich, Robert</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Code Generation</subfield><subfield code="d">1991</subfield><subfield code="c">Dagstuhl</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2125218-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=003708579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003708579</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Dagstuhl gnd-content |
| genre_facet | Konferenzschrift 1991 Dagstuhl |
| id | DE-604.BV005922074 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:00Z |
| institution | BVB |
| institution_GND | (DE-588)2125218-X |
| isbn | 3540197575 0387197575 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003708579 |
| oclc_num | 26095252 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 |
| physical | X, 319 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series2 | Workshops in computing |
| spelling | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 Robert Giegerich ... (eds.) London u.a. Springer 1992 X, 319 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Workshops in computing Literaturangaben Code generators Congresses Codegenerierung (DE-588)4010346-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Dagstuhl gnd-content Codegenerierung (DE-588)4010346-8 s DE-604 Giegerich, Robert Sonstige oth International Workshop on Code Generation 1991 Dagstuhl Sonstige (DE-588)2125218-X oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003708579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 Code generators Congresses Codegenerierung (DE-588)4010346-8 gnd |
| subject_GND | (DE-588)4010346-8 (DE-588)1071861417 |
| title | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 |
| title_auth | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 |
| title_exact_search | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 |
| title_full | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 Robert Giegerich ... (eds.) |
| title_fullStr | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 Robert Giegerich ... (eds.) |
| title_full_unstemmed | Code generation concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 Robert Giegerich ... (eds.) |
| title_short | Code generation |
| title_sort | code generation concepts tools techniques proceedings of the international workshop on code generation dagstuhl germany 20 24 may 1991 |
| title_sub | concepts, tools, techniques ; proceedings of the International Workshop on Code Generation, Dagstuhl, Germany 20 - 24 May, 1991 |
| topic | Code generators Congresses Codegenerierung (DE-588)4010346-8 gnd |
| topic_facet | Code generators Congresses Codegenerierung Konferenzschrift 1991 Dagstuhl |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003708579&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT giegerichrobert codegenerationconceptstoolstechniquesproceedingsoftheinternationalworkshoponcodegenerationdagstuhlgermany2024may1991 AT internationalworkshoponcodegenerationdagstuhl codegenerationconceptstoolstechniquesproceedingsoftheinternationalworkshoponcodegenerationdagstuhlgermany2024may1991 |