Syntax directed semantics: formal models based on tree transducers
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona u.a.
Springer
1998
|
| Schriftenreihe: | Monographs in theoretical computer science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 257 - 263 |
| Beschreibung: | X, 269 S. graph. Darst. |
| ISBN: | 3540646078 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012132456 | ||
| 003 | DE-604 | ||
| 005 | 20040426 | ||
| 007 | t | ||
| 008 | 980825s1998 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 954094689 |2 DE-101 | |
| 020 | |a 3540646078 |9 3-540-64607-8 | ||
| 035 | |a (OCoLC)39605347 | ||
| 035 | |a (DE-599)BVBBV012132456 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-526 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 550f |2 stub | ||
| 100 | 1 | |a Fülöp, Zoltán |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Syntax directed semantics |b formal models based on tree transducers |c Zoltán Fülöp ; Heiko Vogler |
| 246 | 1 | 3 | |a Syntax-directed semantics |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona u.a. |b Springer |c 1998 | |
| 300 | |a X, 269 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Monographs in theoretical computer science | |
| 500 | |a Literaturverz. S. 257 - 263 | ||
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 7 | |a langage algébrique |2 inriac | |
| 650 | 7 | |a modèle formel |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a transducteur arbre |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Transducers | |
| 650 | 0 | 7 | |a Syntaktische Analyse |0 (DE-588)4058778-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transduktor |g Automatentheorie |0 (DE-588)4529256-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontextfreie Grammatik |0 (DE-588)4032281-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Baumautomat |0 (DE-588)4376875-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | 1 | |a Kontextfreie Grammatik |0 (DE-588)4032281-6 |D s |
| 689 | 0 | 2 | |a Syntaktische Analyse |0 (DE-588)4058778-2 |D s |
| 689 | 0 | 3 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 0 | 4 | |a Transduktor |g Automatentheorie |0 (DE-588)4529256-5 |D s |
| 689 | 0 | 5 | |a Baumautomat |0 (DE-588)4376875-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Vogler, Heiko |e Verfasser |4 aut | |
| 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=008217081&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008217081 | ||
Datensatz im Suchindex
| _version_ | 1804126740763639808 |
|---|---|
| adam_text | ZOLTAN FIILOP HEIKO VOGLER SYNTAX-DIRECTED SEMANTICS FORMAL MODELS BASED
ON TREE TRANSDUCERS WITH 74 FIGURES SPRINGER CONTENTS 1. INTRODUCTION 1
1.1 SYNTAX-DIRECTED SEMANTICS 1 1.2 TREE TRANSDUCERS 31 1.3 THEORY OF
COMPOSITIONS OF CLASSES OF TREE TRANSFORMATIONS .. 37 1.4 OTHER FORMAL
MODELS 40 1.5 OUTLINE OF THE BOOK 41 1.6 BIBLIOGRAPHIC NOTES 42 2. BASIC
NOTIONS AND NOTATIONS 43 2.1 SETS AND RELATIONS 43 2.2 PARTIAL ORDERS 44
2.3 DIRECTED GRAPHS 48 2.4 DERIVATION SYSTEMS 48 2.5 SEMIGROUPS, STRINGS
AND LANGUAGES 52 2.6 STRING REWRITE SYSTEMS 54 2.7 GRAMMARS 55 2.8
NOTIONS ON TREES 55 3. TOP-DOWN TREE TRANSDUCERS 61 3.1 BASIC
DEFINITIONS 61 3.2 INDUCED TREE TRANSFORMATION 63 3.3 CHARACTERIZATION
OF TOP-DOWN TREE TRANSFORMATIONS 73 3.4 HEIGHT PROPERTY 77 3.5
SUBCLASSES OF TOP 78 3.6 COMPOSITION AND DECOMPOSITION RESULTS 87 3.7
COMPOSITION SEMIGROUP GENERATED BY TOP, L-TOP, AND HOM 97 3.8
BIBLIOGRAPHIC NOTES 109 4. MACRO TREE TRANSDUCERS ILL 4.1 BASIC
DEFINITIONS ILL 4.2 INDUCED TREE TRANSFORMATION 113 4.3 CHARACTERIZATION
OF MACRO TREE TRANSFORMATIONS 121 4.4 HEIGHT PROPERTY 124 X CONTENTS 4.5
COMPOSITION AND DECOMPOSITION RESULTS 125 4.6 BIBLIOGRAPHIC NOTES 135 5.
ATTRIBUTED TREE TRANSDUCERS 137 5.1 BASIC DEFINITIONS 137 5.2 INDUCED
TREE TRANSFORMATION 141 5.3 CHARACTERIZATION OF ATTRIBUTED TREE
TRANSFORMATIONS 162 5.4 HEIGHT AND SUBTREE PROPERTIES 165 5.5
COMPOSITION AND DECOMPOSITION RESULTS 168 5.6 BIBLIOGRAPHIC NOTES 171 6.
COMPARISON OF INDUCED TREE TRANSFORMATION CLASSES 173 6.1 COMPARISON OF
MAC AND ATT 173 6.2 INCLUSION DIAGRAM BASED ON TOP, YIELD, ATT, AND MAC
188 6.2.1 THE INEQUALITY BAS-MAC - ATT ^ 0 189 6.2.2 THE INEQUALITY HOM
- SL-MAC ^ 0 190 6.2.3 THE INEQUALITY L-TOP - SL-MAC ^ 0 193 6.2.4 THE
INEQUALITY SL-TOP - HOM ^ 0 196 6.2.5 THE INEQUALITY SL-TOP - YIELD ^ 0
196 6.2.6 THE INEQUALITY YIELD - BAS-MAC ^ 0 196 6.2.7 THE INEQUALITY
ATT - IV-ATT ^ 0 203 6.2.8 THE INEQUALITY NN-ATT - TOP #0 207 6.2.9 THE
INEQUALITY HOM - L-TOP ^0 208 6.3 COMPOSITION SEMIGROUP GENERATED BY
TOP, ATT, AND MAC 208 6.4 BIBLIOGRAPHIC NOTES 218 7. MACRO ATTRIBUTED
TREE TRANSDUCERS 221 7.1 BASIC DEFINITIONS 222 7.2 INDUCED TREE
TRANSFORMATION 224 7.3 CHARACTERIZATION OF MACRO ATTRIBUTED TREE
TRANSFORMATIONS .. 233 7.4 COMPOSITION AND DECOMPOSITION RESULTS 236 7.5
HEIGHT PROPERTY 239 7.6 BIBLIOGRAPHIC NOTES 240 8. TWO EXAMPLES 241 8.1
THE SPECIFICATION LANGUAGE 241 8.2 CONTEXTUAL ANALYSIS 244 8.3 INSERTION
INTO 2-3 TREES 249 8.4 BIBLIOGRAPHIC NOTES 256 BIBLIOGRAPHY 257 INDEX
265
|
| any_adam_object | 1 |
| author | Fülöp, Zoltán Vogler, Heiko |
| author_facet | Fülöp, Zoltán Vogler, Heiko |
| author_role | aut aut |
| author_sort | Fülöp, Zoltán |
| author_variant | z f zf h v hv |
| building | Verbundindex |
| bvnumber | BV012132456 |
| 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 130 ST 140 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)39605347 (DE-599)BVBBV012132456 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| 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>02649nam a2200649 c 4500</leader><controlfield tag="001">BV012132456</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040426 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980825s1998 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954094689</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540646078</subfield><subfield code="9">3-540-64607-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39605347</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012132456</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fülöp, Zoltán</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Syntax directed semantics</subfield><subfield code="b">formal models based on tree transducers</subfield><subfield code="c">Zoltán Fülöp ; Heiko Vogler</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Syntax-directed semantics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 269 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">Monographs in theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 257 - 263</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">transducteur arbre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transducers</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Syntaktische Analyse</subfield><subfield code="0">(DE-588)4058778-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transduktor</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4529256-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontextfreie Grammatik</subfield><subfield code="0">(DE-588)4032281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Baumautomat</subfield><subfield code="0">(DE-588)4376875-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kontextfreie Grammatik</subfield><subfield code="0">(DE-588)4032281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Syntaktische Analyse</subfield><subfield code="0">(DE-588)4058778-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><subfield code="a">Transduktor</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4529256-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Baumautomat</subfield><subfield code="0">(DE-588)4376875-1</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">Vogler, Heiko</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=008217081&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-008217081</subfield></datafield></record></collection> |
| id | DE-604.BV012132456 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:22:16Z |
| institution | BVB |
| isbn | 3540646078 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008217081 |
| oclc_num | 39605347 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-526 DE-83 DE-11 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-526 DE-83 DE-11 |
| physical | X, 269 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series2 | Monographs in theoretical computer science |
| spelling | Fülöp, Zoltán Verfasser aut Syntax directed semantics formal models based on tree transducers Zoltán Fülöp ; Heiko Vogler Syntax-directed semantics Berlin ; Heidelberg ; New York ; Barcelona u.a. Springer 1998 X, 269 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Monographs in theoretical computer science Literaturverz. S. 257 - 263 Langages de programmation - Sémantique ram Langages formels ram langage algébrique inriac modèle formel inriac sémantique inriac transducteur arbre inriac Programming languages (Electronic computers) Semantics Transducers Syntaktische Analyse (DE-588)4058778-2 gnd rswk-swf Transduktor Automatentheorie (DE-588)4529256-5 gnd rswk-swf Kontextfreie Grammatik (DE-588)4032281-6 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Baumautomat (DE-588)4376875-1 gnd rswk-swf Codegenerierung (DE-588)4010346-8 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s Kontextfreie Grammatik (DE-588)4032281-6 s Syntaktische Analyse (DE-588)4058778-2 s Codegenerierung (DE-588)4010346-8 s Transduktor Automatentheorie (DE-588)4529256-5 s Baumautomat (DE-588)4376875-1 s DE-604 Vogler, Heiko Verfasser aut HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008217081&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fülöp, Zoltán Vogler, Heiko Syntax directed semantics formal models based on tree transducers Langages de programmation - Sémantique ram Langages formels ram langage algébrique inriac modèle formel inriac sémantique inriac transducteur arbre inriac Programming languages (Electronic computers) Semantics Transducers Syntaktische Analyse (DE-588)4058778-2 gnd Transduktor Automatentheorie (DE-588)4529256-5 gnd Kontextfreie Grammatik (DE-588)4032281-6 gnd Formale Sprache (DE-588)4017848-1 gnd Baumautomat (DE-588)4376875-1 gnd Codegenerierung (DE-588)4010346-8 gnd |
| subject_GND | (DE-588)4058778-2 (DE-588)4529256-5 (DE-588)4032281-6 (DE-588)4017848-1 (DE-588)4376875-1 (DE-588)4010346-8 |
| title | Syntax directed semantics formal models based on tree transducers |
| title_alt | Syntax-directed semantics |
| title_auth | Syntax directed semantics formal models based on tree transducers |
| title_exact_search | Syntax directed semantics formal models based on tree transducers |
| title_full | Syntax directed semantics formal models based on tree transducers Zoltán Fülöp ; Heiko Vogler |
| title_fullStr | Syntax directed semantics formal models based on tree transducers Zoltán Fülöp ; Heiko Vogler |
| title_full_unstemmed | Syntax directed semantics formal models based on tree transducers Zoltán Fülöp ; Heiko Vogler |
| title_short | Syntax directed semantics |
| title_sort | syntax directed semantics formal models based on tree transducers |
| title_sub | formal models based on tree transducers |
| topic | Langages de programmation - Sémantique ram Langages formels ram langage algébrique inriac modèle formel inriac sémantique inriac transducteur arbre inriac Programming languages (Electronic computers) Semantics Transducers Syntaktische Analyse (DE-588)4058778-2 gnd Transduktor Automatentheorie (DE-588)4529256-5 gnd Kontextfreie Grammatik (DE-588)4032281-6 gnd Formale Sprache (DE-588)4017848-1 gnd Baumautomat (DE-588)4376875-1 gnd Codegenerierung (DE-588)4010346-8 gnd |
| topic_facet | Langages de programmation - Sémantique Langages formels langage algébrique modèle formel sémantique transducteur arbre Programming languages (Electronic computers) Semantics Transducers Syntaktische Analyse Transduktor Automatentheorie Kontextfreie Grammatik Formale Sprache Baumautomat Codegenerierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008217081&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fulopzoltan syntaxdirectedsemanticsformalmodelsbasedontreetransducers AT voglerheiko syntaxdirectedsemanticsformalmodelsbasedontreetransducers AT fulopzoltan syntaxdirectedsemantics AT voglerheiko syntaxdirectedsemantics |