The specification of code generation algorithms:
This thesis addresses the problem of automatically constructing the code generation phase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine-dependent semantics is incorporate...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Mass. Inst. of Technology, Laboratory for Computer Science
1978
|
| Schlagworte: | |
| Zusammenfassung: | This thesis addresses the problem of automatically constructing the code generation phase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine-dependent semantics is incorporated as a set of transformations on an internal representation of the source language program. The intermediate language which serves as the internal representation, and the metalanguage in which the transformations are written are discussed in detail. The major goal of this approach is to separate machine and language-dependent knowledge (as embodied in a tansformation catalogue) from general knowledge about code generation. This general knowledge is supplied by the third component of the framework: a metainterpreter incorporating a fairly complete repertoire of language and machine-independent optimization algorithms for intermediate language programs. The metainterpreter is also capable of selecting and applying transformations from the transformation catalogue. The three-component framework described in the thesis provides a specification that can easily be tailored to new languages and machine architectures without compromising the ability to generate optimal code. (Author). |
| Beschreibung: | Zugl.: Diss., 1978 |
| Beschreibung: | 86 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021878931 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 880704s1978 |||| 00||| eng d | ||
| 035 | |a (OCoLC)227495074 | ||
| 035 | |a (DE-599)BVBBV021878931 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TR-199 | ||
| 100 | 1 | |a Terman, Christopher J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The specification of code generation algorithms |c by Christopher Jay Terman |
| 264 | 1 | |a Cambridge, Mass. |b Mass. Inst. of Technology, Laboratory for Computer Science |c 1978 | |
| 300 | |a 86 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Diss., 1978 | ||
| 520 | 3 | |a This thesis addresses the problem of automatically constructing the code generation phase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine-dependent semantics is incorporated as a set of transformations on an internal representation of the source language program. The intermediate language which serves as the internal representation, and the metalanguage in which the transformations are written are discussed in detail. The major goal of this approach is to separate machine and language-dependent knowledge (as embodied in a tansformation catalogue) from general knowledge about code generation. This general knowledge is supplied by the third component of the framework: a metainterpreter incorporating a fairly complete repertoire of language and machine-independent optimization algorithms for intermediate language programs. The metainterpreter is also capable of selecting and applying transformations from the transformation catalogue. The three-component framework described in the thesis provides a specification that can easily be tailored to new languages and machine architectures without compromising the ability to generate optimal code. (Author). | |
| 650 | 7 | |a Algorithms |2 dtict | |
| 650 | 7 | |a Assembly languages |2 dtict | |
| 650 | 7 | |a Coding |2 dtict | |
| 650 | 7 | |a Compilers |2 dtict | |
| 650 | 7 | |a Computer Hardware |2 scgdst | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Computer architecture |2 dtict | |
| 650 | 7 | |a Computer programs |2 dtict | |
| 650 | 7 | |a Cybernetics |2 scgdst | |
| 650 | 7 | |a Optimization |2 dtict | |
| 650 | 7 | |a Programming languages |2 dtict | |
| 650 | 7 | |a Semantics |2 dtict | |
| 650 | 7 | |a Syntax |2 dtict | |
| 650 | 7 | |a Theoretical Mathematics |2 scgdst | |
| 650 | 7 | |a Theses |2 dtict | |
| 650 | 7 | |a Transformations |2 dtict | |
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015094424 | ||
Datensatz im Suchindex
| _version_ | 1804135818889003008 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Terman, Christopher J. |
| author_facet | Terman, Christopher J. |
| author_role | aut |
| author_sort | Terman, Christopher J. |
| author_variant | c j t cj cjt |
| building | Verbundindex |
| bvnumber | BV021878931 |
| ctrlnum | (OCoLC)227495074 (DE-599)BVBBV021878931 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03001nam a2200541zc 4500</leader><controlfield tag="001">BV021878931</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880704s1978 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227495074</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021878931</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TR-199</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Terman, Christopher J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The specification of code generation algorithms</subfield><subfield code="c">by Christopher Jay Terman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Mass. Inst. of Technology, Laboratory for Computer Science</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">86 S.</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">Zugl.: Diss., 1978</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This thesis addresses the problem of automatically constructing the code generation phase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine-dependent semantics is incorporated as a set of transformations on an internal representation of the source language program. The intermediate language which serves as the internal representation, and the metalanguage in which the transformations are written are discussed in detail. The major goal of this approach is to separate machine and language-dependent knowledge (as embodied in a tansformation catalogue) from general knowledge about code generation. This general knowledge is supplied by the third component of the framework: a metainterpreter incorporating a fairly complete repertoire of language and machine-independent optimization algorithms for intermediate language programs. The metainterpreter is also capable of selecting and applying transformations from the transformation catalogue. The three-component framework described in the thesis provides a specification that can easily be tailored to new languages and machine architectures without compromising the ability to generate optimal code. (Author).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithms</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Assembly languages</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Coding</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Compilers</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Hardware</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Programming and Software</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programs</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Cybernetics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Optimization</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming languages</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantics</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Syntax</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theoretical Mathematics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theses</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Transformations</subfield><subfield code="2">dtict</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="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="1" ind2="0"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015094424</subfield></datafield></record></collection> |
| id | DE-604.BV021878931 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:41Z |
| indexdate | 2024-07-09T20:46:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015094424 |
| oclc_num | 227495074 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 86 S. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Mass. Inst. of Technology, Laboratory for Computer Science |
| record_format | marc |
| spelling | Terman, Christopher J. Verfasser aut The specification of code generation algorithms by Christopher Jay Terman Cambridge, Mass. Mass. Inst. of Technology, Laboratory for Computer Science 1978 86 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Diss., 1978 This thesis addresses the problem of automatically constructing the code generation phase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine-dependent semantics is incorporated as a set of transformations on an internal representation of the source language program. The intermediate language which serves as the internal representation, and the metalanguage in which the transformations are written are discussed in detail. The major goal of this approach is to separate machine and language-dependent knowledge (as embodied in a tansformation catalogue) from general knowledge about code generation. This general knowledge is supplied by the third component of the framework: a metainterpreter incorporating a fairly complete repertoire of language and machine-independent optimization algorithms for intermediate language programs. The metainterpreter is also capable of selecting and applying transformations from the transformation catalogue. The three-component framework described in the thesis provides a specification that can easily be tailored to new languages and machine architectures without compromising the ability to generate optimal code. (Author). Algorithms dtict Assembly languages dtict Coding dtict Compilers dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer programs dtict Cybernetics scgdst Optimization dtict Programming languages dtict Semantics dtict Syntax dtict Theoretical Mathematics scgdst Theses dtict Transformations dtict Codegenerierung (DE-588)4010346-8 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Codegenerierung (DE-588)4010346-8 s DE-604 Spezifikation (DE-588)4139161-5 s |
| spellingShingle | Terman, Christopher J. The specification of code generation algorithms Algorithms dtict Assembly languages dtict Coding dtict Compilers dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer programs dtict Cybernetics scgdst Optimization dtict Programming languages dtict Semantics dtict Syntax dtict Theoretical Mathematics scgdst Theses dtict Transformations dtict Codegenerierung (DE-588)4010346-8 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4010346-8 (DE-588)4139161-5 |
| title | The specification of code generation algorithms |
| title_auth | The specification of code generation algorithms |
| title_exact_search | The specification of code generation algorithms |
| title_exact_search_txtP | The specification of code generation algorithms |
| title_full | The specification of code generation algorithms by Christopher Jay Terman |
| title_fullStr | The specification of code generation algorithms by Christopher Jay Terman |
| title_full_unstemmed | The specification of code generation algorithms by Christopher Jay Terman |
| title_short | The specification of code generation algorithms |
| title_sort | the specification of code generation algorithms |
| topic | Algorithms dtict Assembly languages dtict Coding dtict Compilers dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer programs dtict Cybernetics scgdst Optimization dtict Programming languages dtict Semantics dtict Syntax dtict Theoretical Mathematics scgdst Theses dtict Transformations dtict Codegenerierung (DE-588)4010346-8 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Algorithms Assembly languages Coding Compilers Computer Hardware Computer Programming and Software Computer architecture Computer programs Cybernetics Optimization Programming languages Semantics Syntax Theoretical Mathematics Theses Transformations Codegenerierung Spezifikation |
| work_keys_str_mv | AT termanchristopherj thespecificationofcodegenerationalgorithms |