Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1984
|
| Series: | Informatik-Fachberichte
91 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in diese Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter ausführbarer Maschinencode ist, nehmen wir als gemeinsame Ansicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automatentheorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quellsprache ab (man kann den Akzeptor aus einer guten syntaktischen Beschreibung erzeugen) bzw. werden vom Compilerkonstrukteur auf Grund seiner Erfahrung entwickelt |
| Physical Description: | 1 Online-Ressource (IV, 368 S.) |
| ISBN: | 9783662085257 9783540138952 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-662-08525-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042435822 | ||
| 003 | DE-604 | ||
| 005 | 20171130 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1984 |||| o||u| ||||||ger d | ||
| 020 | |a 9783662085257 |c Online |9 978-3-662-08525-7 | ||
| 020 | |a 9783540138952 |c Print |9 978-3-540-13895-2 | ||
| 024 | 7 | |a 10.1007/978-3-662-08525-7 |2 doi | |
| 035 | |a (OCoLC)863955829 | ||
| 035 | |a (DE-599)BVBBV042435822 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Stoyan, Herbert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation |c von Herbert Stoyan |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1984 | |
| 300 | |a 1 Online-Ressource (IV, 368 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Informatik-Fachberichte |v 91 |x 0343-3005 | |
| 500 | |a Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in diese Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter ausführbarer Maschinencode ist, nehmen wir als gemeinsame Ansicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automatentheorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quellsprache ab (man kann den Akzeptor aus einer guten syntaktischen Beschreibung erzeugen) bzw. werden vom Compilerkonstrukteur auf Grund seiner Erfahrung entwickelt | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a FORTRAN |0 (DE-588)4017984-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmtransformation |0 (DE-588)4263654-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a LISP |0 (DE-588)4035918-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Compiler |0 (DE-588)4148248-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 0 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 1 | 1 | |a Programmtransformation |0 (DE-588)4263654-1 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a LISP |0 (DE-588)4035918-9 |D s |
| 689 | 2 | 1 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a FORTRAN |0 (DE-588)4017984-9 |D s |
| 689 | 3 | 1 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 830 | 0 | |a Informatik-Fachberichte |v 91 |w (DE-604)BV000006843 |9 91 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-08525-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027871152 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153123480010752 |
|---|---|
| any_adam_object | |
| author | Stoyan, Herbert |
| author_facet | Stoyan, Herbert |
| author_role | aut |
| author_sort | Stoyan, Herbert |
| author_variant | h s hs |
| building | Verbundindex |
| bvnumber | BV042435822 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863955829 (DE-599)BVBBV042435822 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-662-08525-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04083nmm a2200733zcb4500</leader><controlfield tag="001">BV042435822</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171130 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1984 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662085257</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-08525-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540138952</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-13895-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-08525-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863955829</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042435822</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stoyan, Herbert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation</subfield><subfield code="c">von Herbert Stoyan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IV, 368 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">91</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in diese Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter ausführbarer Maschinencode ist, nehmen wir als gemeinsame Ansicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automatentheorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quellsprache ab (man kann den Akzeptor aus einer guten syntaktischen Beschreibung erzeugen) bzw. werden vom Compilerkonstrukteur auf Grund seiner Erfahrung entwickelt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">FORTRAN</subfield><subfield code="0">(DE-588)4017984-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">LISP</subfield><subfield code="0">(DE-588)4035918-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Programmtransformation</subfield><subfield code="0">(DE-588)4263654-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">LISP</subfield><subfield code="0">(DE-588)4035918-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">FORTRAN</subfield><subfield code="0">(DE-588)4017984-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">91</subfield><subfield code="w">(DE-604)BV000006843</subfield><subfield code="9">91</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-08525-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027871152</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042435822 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:36Z |
| institution | BVB |
| isbn | 9783662085257 9783540138952 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027871152 |
| oclc_num | 863955829 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (IV, 368 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Informatik-Fachberichte |
| series2 | Informatik-Fachberichte |
| spelling | Stoyan, Herbert Verfasser aut Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von Herbert Stoyan Berlin, Heidelberg Springer Berlin Heidelberg 1984 1 Online-Ressource (IV, 368 S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 91 0343-3005 Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog. "mixed computation" sei, welche sich kurz so charakterisieren läßt, daß alles was konkret ausrechenbar ist, ausgerechnet wird, und alles was nicht ausgerechnet werden kann, stehen bleibt. Ershovs Versuch hat keine Vorgänger, obwohl verschiedene Compilermodelle entwickelt wurden. Interpretieren wir in diese Modelle (teilweise unzulässig) Erklärungsversuche für den Vorgang der Compilation - daß das Resultat äquivalenter ausführbarer Maschinencode ist, nehmen wir als gemeinsame Ansicht an - dann kommen wir grob zu folgenden Standpunkten: 1. Compilation ist ein nicht weiter erklärbarer Vorgang, der stattfindet durch Automaten (im Sinne der Automatentheorie), die in geeigneter Weise Zeichenketten akzeptieren bzw. generieren. Die Automaten hängen in gewisser Weise von der Quellsprache ab (man kann den Akzeptor aus einer guten syntaktischen Beschreibung erzeugen) bzw. werden vom Compilerkonstrukteur auf Grund seiner Erfahrung entwickelt Computer science Software engineering Computer Science Programming Languages, Compilers, Interpreters Software Engineering Informatik FORTRAN (DE-588)4017984-9 gnd rswk-swf Programmtransformation (DE-588)4263654-1 gnd rswk-swf LISP (DE-588)4035918-9 gnd rswk-swf Compiler (DE-588)4148248-7 gnd rswk-swf Codegenerierung (DE-588)4010346-8 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Compiler (DE-588)4148248-7 s Programmtransformation (DE-588)4263654-1 s 2\p DE-604 Codegenerierung (DE-588)4010346-8 s 3\p DE-604 LISP (DE-588)4035918-9 s 4\p DE-604 FORTRAN (DE-588)4017984-9 s 5\p DE-604 Informatik-Fachberichte 91 (DE-604)BV000006843 91 https://doi.org/10.1007/978-3-662-08525-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Stoyan, Herbert Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Informatik-Fachberichte Computer science Software engineering Computer Science Programming Languages, Compilers, Interpreters Software Engineering Informatik FORTRAN (DE-588)4017984-9 gnd Programmtransformation (DE-588)4263654-1 gnd LISP (DE-588)4035918-9 gnd Compiler (DE-588)4148248-7 gnd Codegenerierung (DE-588)4010346-8 gnd |
| subject_GND | (DE-588)4017984-9 (DE-588)4263654-1 (DE-588)4035918-9 (DE-588)4148248-7 (DE-588)4010346-8 (DE-588)4113937-9 |
| title | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation |
| title_auth | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation |
| title_exact_search | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation |
| title_full | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von Herbert Stoyan |
| title_fullStr | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von Herbert Stoyan |
| title_full_unstemmed | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation von Herbert Stoyan |
| title_short | Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation |
| title_sort | maschinen unabhangige code erzeugung als semantikerhaltende beweisbare programmtransformation |
| topic | Computer science Software engineering Computer Science Programming Languages, Compilers, Interpreters Software Engineering Informatik FORTRAN (DE-588)4017984-9 gnd Programmtransformation (DE-588)4263654-1 gnd LISP (DE-588)4035918-9 gnd Compiler (DE-588)4148248-7 gnd Codegenerierung (DE-588)4010346-8 gnd |
| topic_facet | Computer science Software engineering Computer Science Programming Languages, Compilers, Interpreters Software Engineering Informatik FORTRAN Programmtransformation LISP Compiler Codegenerierung Hochschulschrift |
| url | https://doi.org/10.1007/978-3-662-08525-7 |
| volume_link | (DE-604)BV000006843 |
| work_keys_str_mv | AT stoyanherbert maschinenunabhangigecodeerzeugungalssemantikerhaltendebeweisbareprogrammtransformation |