A truly generative semantics-directed compiler generator

A truly generative semantics-directed compiler generator

This paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This distinguishes MUG2 from systems such as YACC [Jo...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SIGPLAN notices 1982-06, Vol.17 (6), p.172-184
Hauptverfasser: Ganzinger, Harald, Giegerich, Robert, Möncke, Ulrich, Wilhelm, Reinhard
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 184
container_issue 6
container_start_page 172
container_title SIGPLAN notices
container_volume 17
creator Ganzinger, Harald
Giegerich, Robert
Möncke, Ulrich
Wilhelm, Reinhard
description This paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This distinguishes MUG2 from systems such as YACC [Joh75], HLP [HLP78], PQCC [PQC79], or its own former version [GRW77] with respect to expressive power and convenience. In this respect, MUG2 comes close to semantics-directed systems such as [Mos76], [JoS80], [Set81], [Pau82]. In contrast to these, MUG2 is not a universal translator system where program independent semantic properties have to be evaluated at compilation time. The description concepts of MUG2 allow a far reaching separation of language vs. program dependent semantics, thus constituting a truly generative approach to semantics-directed compiler generation.
doi_str_mv 10.1145/872726.806993
format Article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1145_872726_806993</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1145_872726_806993</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1913-3ab3f28b6cffc6ab6bf7484fe7c820c20d5eaa73f92287428bb2c4471b263bd03</originalsourceid><addsrcrecordid>eNo1z01LxDAUheEgCtbRpfv-gYw396ZJuhwGv2DAja5Lkt5IpZ0OSRXm36uMrs7m5cAjxK2CtVK6uXMWLZq1A9O2dCYq1TROKmXgXFRABqUiDZfiqpQPACBAVwm3qZf8OR7rd95z9svwxXXhye-XIRbZD5njwn0d5-kwjJz_szlfi4vkx8I3f7sSbw_3r9snuXt5fN5udjKqVpEkHyihCyamFI0PJiSrnU5so0OICH3D3ltKLaKz-qcMGLW2KqCh0AOthDz9xjyXkjl1hzxMPh87Bd0vuzuxuxObvgHF2UqA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A truly generative semantics-directed compiler generator</title><source>ACM Digital Library</source><creator>Ganzinger, Harald ; Giegerich, Robert ; Möncke, Ulrich ; Wilhelm, Reinhard</creator><creatorcontrib>Ganzinger, Harald ; Giegerich, Robert ; Möncke, Ulrich ; Wilhelm, Reinhard</creatorcontrib><description>This paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This distinguishes MUG2 from systems such as YACC [Joh75], HLP [HLP78], PQCC [PQC79], or its own former version [GRW77] with respect to expressive power and convenience. In this respect, MUG2 comes close to semantics-directed systems such as [Mos76], [JoS80], [Set81], [Pau82]. In contrast to these, MUG2 is not a universal translator system where program independent semantic properties have to be evaluated at compilation time. The description concepts of MUG2 allow a far reaching separation of language vs. program dependent semantics, thus constituting a truly generative approach to semantics-directed compiler generation.</description><identifier>ISSN: 0362-1340</identifier><identifier>EISSN: 1558-1160</identifier><identifier>DOI: 10.1145/872726.806993</identifier><language>eng</language><ispartof>SIGPLAN notices, 1982-06, Vol.17 (6), p.172-184</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c1913-3ab3f28b6cffc6ab6bf7484fe7c820c20d5eaa73f92287428bb2c4471b263bd03</citedby><cites>FETCH-LOGICAL-c1913-3ab3f28b6cffc6ab6bf7484fe7c820c20d5eaa73f92287428bb2c4471b263bd03</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27923,27924</link.rule.ids></links><search><creatorcontrib>Ganzinger, Harald</creatorcontrib><creatorcontrib>Giegerich, Robert</creatorcontrib><creatorcontrib>Möncke, Ulrich</creatorcontrib><creatorcontrib>Wilhelm, Reinhard</creatorcontrib><title>A truly generative semantics-directed compiler generator</title><title>SIGPLAN notices</title><description>This paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This distinguishes MUG2 from systems such as YACC [Joh75], HLP [HLP78], PQCC [PQC79], or its own former version [GRW77] with respect to expressive power and convenience. In this respect, MUG2 comes close to semantics-directed systems such as [Mos76], [JoS80], [Set81], [Pau82]. In contrast to these, MUG2 is not a universal translator system where program independent semantic properties have to be evaluated at compilation time. The description concepts of MUG2 allow a far reaching separation of language vs. program dependent semantics, thus constituting a truly generative approach to semantics-directed compiler generation.</description><issn>0362-1340</issn><issn>1558-1160</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1982</creationdate><recordtype>article</recordtype><recordid>eNo1z01LxDAUheEgCtbRpfv-gYw396ZJuhwGv2DAja5Lkt5IpZ0OSRXm36uMrs7m5cAjxK2CtVK6uXMWLZq1A9O2dCYq1TROKmXgXFRABqUiDZfiqpQPACBAVwm3qZf8OR7rd95z9svwxXXhye-XIRbZD5njwn0d5-kwjJz_szlfi4vkx8I3f7sSbw_3r9snuXt5fN5udjKqVpEkHyihCyamFI0PJiSrnU5so0OICH3D3ltKLaKz-qcMGLW2KqCh0AOthDz9xjyXkjl1hzxMPh87Bd0vuzuxuxObvgHF2UqA</recordid><startdate>198206</startdate><enddate>198206</enddate><creator>Ganzinger, Harald</creator><creator>Giegerich, Robert</creator><creator>Möncke, Ulrich</creator><creator>Wilhelm, Reinhard</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>198206</creationdate><title>A truly generative semantics-directed compiler generator</title><author>Ganzinger, Harald ; Giegerich, Robert ; Möncke, Ulrich ; Wilhelm, Reinhard</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1913-3ab3f28b6cffc6ab6bf7484fe7c820c20d5eaa73f92287428bb2c4471b263bd03</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1982</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Ganzinger, Harald</creatorcontrib><creatorcontrib>Giegerich, Robert</creatorcontrib><creatorcontrib>Möncke, Ulrich</creatorcontrib><creatorcontrib>Wilhelm, Reinhard</creatorcontrib><collection>CrossRef</collection><jtitle>SIGPLAN notices</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ganzinger, Harald</au><au>Giegerich, Robert</au><au>Möncke, Ulrich</au><au>Wilhelm, Reinhard</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A truly generative semantics-directed compiler generator</atitle><jtitle>SIGPLAN notices</jtitle><date>1982-06</date><risdate>1982</risdate><volume>17</volume><issue>6</issue><spage>172</spage><epage>184</epage><pages>172-184</pages><issn>0362-1340</issn><eissn>1558-1160</eissn><abstract>This paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This distinguishes MUG2 from systems such as YACC [Joh75], HLP [HLP78], PQCC [PQC79], or its own former version [GRW77] with respect to expressive power and convenience. In this respect, MUG2 comes close to semantics-directed systems such as [Mos76], [JoS80], [Set81], [Pau82]. In contrast to these, MUG2 is not a universal translator system where program independent semantic properties have to be evaluated at compilation time. The description concepts of MUG2 allow a far reaching separation of language vs. program dependent semantics, thus constituting a truly generative approach to semantics-directed compiler generation.</abstract><doi>10.1145/872726.806993</doi><tpages>13</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0362-1340
ispartof SIGPLAN notices, 1982-06, Vol.17 (6), p.172-184
issn 0362-1340
1558-1160
language eng
recordid cdi_crossref_primary_10_1145_872726_806993
source ACM Digital Library
title A truly generative semantics-directed compiler generator
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-10T15%3A41%3A56IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20truly%20generative%20semantics-directed%20compiler%20generator&rft.jtitle=SIGPLAN%20notices&rft.au=Ganzinger,%20Harald&rft.date=1982-06&rft.volume=17&rft.issue=6&rft.spage=172&rft.epage=184&rft.pages=172-184&rft.issn=0362-1340&rft.eissn=1558-1160&rft_id=info:doi/10.1145/872726.806993&rft_dat=%3Ccrossref%3E10_1145_872726_806993%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true