Compiler generators: what they can do, what they might do, and what they will probably never do
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English Danish |
| Veröffentlicht: |
Berlin u.a.
Springer
1990
|
| Schriftenreihe: | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science
19 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 146 S. graph. Darst. |
| ISBN: | 3540514716 0387514716 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002490221 | ||
| 003 | DE-604 | ||
| 005 | 20130213 | ||
| 007 | t | ||
| 008 | 900115s1990 gw d||| m||| 00||| eng d | ||
| 020 | |a 3540514716 |9 3-540-51471-6 | ||
| 020 | |a 0387514716 |9 0-387-51471-6 | ||
| 035 | |a (OCoLC)20995100 | ||
| 035 | |a (DE-599)BVBBV002490221 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a eng |h dan | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-91G |a DE-M347 |a DE-12 |a DE-473 |a DE-739 |a DE-29T |a DE-20 |a DE-19 |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.76.C65 | |
| 082 | 0 | |a 005.4/53 |2 20 | |
| 084 | |a ST 255 |0 (DE-625)143629: |2 rvk | ||
| 084 | |a DAT 383f |2 stub | ||
| 100 | 1 | |a Tofte, Mads |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Compiler generators |b what they can do, what they might do, and what they will probably never do |c Mads Tofte |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1990 | |
| 300 | |a 146 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v 19 | |
| 502 | |a Zugl.: Copenhagen, Diss., 1984 | ||
| 650 | 4 | |a CERES | |
| 650 | 7 | |a Compilateurs (logiciels) |2 ram | |
| 650 | 4 | |a compilateur | |
| 650 | 4 | |a génération compilateur | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 0 | 7 | |a Compiler-Compiler |0 (DE-588)4113237-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Compiler-Compiler |0 (DE-588)4113237-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v 19 |w (DE-604)BV005600727 |9 19 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001604817&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001604817 | ||
Datensatz im Suchindex
| _version_ | 1804116897722007552 |
|---|---|
| adam_text | CONTENTS 1 TNTRODUCTION 1 1.1 THE SCOPC OF THIS MONOGRAPH 3 2 REPORT ON
THC COMPILER GENERATOR CERES 5 2.1 OVERVIEW OF CERES 6 2.1.1 ON
COMPOSITION OF PROGRAMS 7 2.2 DESCRIPTION OF INPUL TO CERES 8 2.2.1 ON
CONCRETE VERSUS ABSTRACT SYNTAX .... 8 2.2.2 THE SEMANTIC LANGUAGE S
11 2.2.3 WRITING LANGUAGE DEFINITIONS 15 2.2.3.1 AN EXAMPLE: THE
DEFINITION OF LOOP 16 2.2.3.2 EXTENSION WITH PRODUCTS 17 2.2.3.3
IMPORTANT TERMINOLOGY CONCERNING DEFINI- TIONS 18 2.2.3.4 THE
DIFFERENCES BETWEEN THE LANGUAGES D AND OES 21 2.2.4 WRITING
INTERPRETATIONS 22 2.3 THE OBJECT LANGUAGE T 22 2.4 THE COMPILERS
GENERATED BY CERES 24 2.4.1 TRANSLATION FROM S INTO T BY D S2 T 24 2.4.2
COMPILERS WRITTEN AS COMPILING DEFINITIONS . 28 2.4.3 COMPILERS
WRITTEN AS OBJECT PROGRAMS 31 2.4.4 SUMMARY 3F 2.5 THE COMPILER
GENERATOR 33 2.5.1 COMPILER GENERATION CONSIDERED AS COMPILATION 33
2.5.2 DEFINITIONS REGARDED AS PROGRAMS 37 2.5.2.1 THE ABSTRACT SYNTAX D
OF DEFINITIONS 37 2.5.2.2 THE LANGUAGE D 40 2.5.3 TRANSLATION FROM A TO
D ( BY D S2 T 46 2.5.4 TRANSLATION FROM D TO S BY D MLS 49 2.5.5
THE DEFINITION OE OF A 53 2.5.6 THE COMPILER GENERATOR COCOM 55 2.5.7 HOW
COCOM ITSELF WAS GENERATED 60 X CONIENTS 2.6 IMPLEMENTATION AND
EXPERIENCE 63 2.6.1 HARDWARE AND SOFTWARE 63 2.6.2 PERFORMANCE 63 2.6.3
THE CERES PROJECT 64 3 COMPILER GENERATION, COMPOSABILITY, AND SELF-COM-
POSABILITY 67 3.1 PROGRAMMING LANGUAGES AND COMPILERS 67 3.2 THE
COMPILER GENERATION PROBLEM 68 3.3 USING A SEMANTIC LANGUAGE TO DEFINE
PROGRAMMING LANGUAGES 71 3.4 COMPOSABILITY AND SELF-COMPOSABILITY 73 4
DISCUSSION OF TECHNICAL ASPECTS OF COMPILER GENERATION 79 4.1 THE
ALGEBRAIC CONNECTION 79 4.1.1 BASIC CONCEPTS 80 4.1.2 COMPILER ALGEBRAS
AND HOMOMORPHIC TRANSLA- TION 87 4.1.3 THE DIFFERENCE BETWEEN COMPILER
ALGEBRAS AND TARGET LANGUAGE ALGEBRAS 88 4.1.4 ON THE NEED FOR POWERFUL
COMPILER ALGEBRA OPERATIONS 90 4.1.5 CONCLUSION 96 4.2 ON CHOOSING GOOD
SEMANTIC LANGUAGES 97 4.2.1 MOSSES SEMANTICS IMPLEMENTATION SYSTEM
(SIS) 97 4.2.2 PAULSON S COMPILER GENERATOR (PCG) 99 4.2.3 CERES AND
LAMBDA-CERES 100 4.2.4 THE SAM SYSTEM 101 4.2.5 CONCLUSION 102 4.3
INTERFACE PROBLEMS 103 5 ON SEMANTICS, COMPILER GENERATION, AND HACKING
.... 107 5.1 ON THE NATURE OF MACHINE-READABLE LANGUAGE DEFINI- TIONS
108 5.2 ON WRITING LANGUAGE DEFINITIONS 108 5.3 ON THE ROLE OF
MATHEMATICAL PROOFS 110 APPENDIX 1 THE LOOP INTERPRETATION 113 APPENDIX
2 THE INTERPRETATION D S2T -INT 119 CONTENTS XI APPENDIX 3 THE
INTERPRETATION D D 2S-I N T 27 APPENDIX 4 THE SEIFCOMPOSER 133
REFERENCES 137 TABLE OF SYMBOLS AND THEIR MEANINGS 141 INDEX 145
|
| any_adam_object | 1 |
| author | Tofte, Mads |
| author_facet | Tofte, Mads |
| author_role | aut |
| author_sort | Tofte, Mads |
| author_variant | m t mt |
| building | Verbundindex |
| bvnumber | BV002490221 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.C65 |
| callnumber-search | QA76.76.C65 |
| callnumber-sort | QA 276.76 C65 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 255 |
| classification_tum | DAT 383f |
| ctrlnum | (OCoLC)20995100 (DE-599)BVBBV002490221 |
| dewey-full | 005.4/53 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.4/53 |
| dewey-search | 005.4/53 |
| dewey-sort | 15.4 253 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02005nam a2200481 cb4500</leader><controlfield tag="001">BV002490221</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130213 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900115s1990 gw d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540514716</subfield><subfield code="9">3-540-51471-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387514716</subfield><subfield code="9">0-387-51471-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20995100</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002490221</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="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">dan</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-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.C65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.4/53</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 255</subfield><subfield code="0">(DE-625)143629:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 383f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tofte, Mads</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compiler generators</subfield><subfield code="b">what they can do, what they might do, and what they will probably never do</subfield><subfield code="c">Mads Tofte</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">146 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="1" ind2=" "><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">19</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Copenhagen, Diss., 1984</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CERES</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Compilateurs (logiciels)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">compilateur</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">génération compilateur</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler-Compiler</subfield><subfield code="0">(DE-588)4113237-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Compiler-Compiler</subfield><subfield code="0">(DE-588)4113237-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">19</subfield><subfield code="w">(DE-604)BV005600727</subfield><subfield code="9">19</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=001604817&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-001604817</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV002490221 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:45:49Z |
| institution | BVB |
| isbn | 3540514716 0387514716 |
| language | English Danish |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001604817 |
| oclc_num | 20995100 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-M347 DE-12 DE-473 DE-BY-UBG DE-739 DE-29T DE-20 DE-19 DE-BY-UBM DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-M347 DE-12 DE-473 DE-BY-UBG DE-739 DE-29T DE-20 DE-19 DE-BY-UBM DE-706 DE-83 DE-11 DE-188 |
| physical | 146 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer |
| record_format | marc |
| series | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| series2 | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| spelling | Tofte, Mads Verfasser aut Compiler generators what they can do, what they might do, and what they will probably never do Mads Tofte Berlin u.a. Springer 1990 146 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science 19 Zugl.: Copenhagen, Diss., 1984 CERES Compilateurs (logiciels) ram compilateur génération compilateur Compilers (Computer programs) Compiler-Compiler (DE-588)4113237-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Compiler-Compiler (DE-588)4113237-3 s DE-604 European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science 19 (DE-604)BV005600727 19 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001604817&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tofte, Mads Compiler generators what they can do, what they might do, and what they will probably never do European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science CERES Compilateurs (logiciels) ram compilateur génération compilateur Compilers (Computer programs) Compiler-Compiler (DE-588)4113237-3 gnd |
| subject_GND | (DE-588)4113237-3 (DE-588)4113937-9 |
| title | Compiler generators what they can do, what they might do, and what they will probably never do |
| title_auth | Compiler generators what they can do, what they might do, and what they will probably never do |
| title_exact_search | Compiler generators what they can do, what they might do, and what they will probably never do |
| title_full | Compiler generators what they can do, what they might do, and what they will probably never do Mads Tofte |
| title_fullStr | Compiler generators what they can do, what they might do, and what they will probably never do Mads Tofte |
| title_full_unstemmed | Compiler generators what they can do, what they might do, and what they will probably never do Mads Tofte |
| title_short | Compiler generators |
| title_sort | compiler generators what they can do what they might do and what they will probably never do |
| title_sub | what they can do, what they might do, and what they will probably never do |
| topic | CERES Compilateurs (logiciels) ram compilateur génération compilateur Compilers (Computer programs) Compiler-Compiler (DE-588)4113237-3 gnd |
| topic_facet | CERES Compilateurs (logiciels) compilateur génération compilateur Compilers (Computer programs) Compiler-Compiler Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001604817&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005600727 |
| work_keys_str_mv | AT toftemads compilergeneratorswhattheycandowhattheymightdoandwhattheywillprobablyneverdo |