An algebraic approach to compiler design:
This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1997
|
| Schriftenreihe: | AMAST series in computing
vol. 4 |
| Schlagworte: | |
| Online-Zugang: | FHN01 URL des Erstveroeffentlichers Inhaltsverzeichnis |
| Zusammenfassung: | This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness |
| Beschreibung: | xiii, 188 p. ill |
| ISBN: | 9789812830685 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044636821 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1997 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812830685 |9 978-981-283-068-5 | ||
| 024 | 7 | |a 10.1142/2870 |2 doi | |
| 035 | |a (ZDB-124-WOP)00004807 | ||
| 035 | |a (OCoLC)1012663205 | ||
| 035 | |a (DE-599)BVBBV044636821 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 005.453 |2 22 | |
| 084 | |a ST 255 |0 (DE-625)143629: |2 rvk | ||
| 100 | 1 | |a Sampaio, Augusto |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An algebraic approach to compiler design |c Augusto Sampaio |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1997 | |
| 300 | |a xiii, 188 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a AMAST series in computing |v vol. 4 | |
| 520 | |a This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness | ||
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Übersetzerbau |0 (DE-588)4121803-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Übersetzerbau |0 (DE-588)4121803-6 |D s |
| 689 | 0 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810223915 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810223919 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/2870#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030034794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030034794 | ||
| 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 | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/2870#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178051588685824 |
|---|---|
| adam_text | POSITIONEN
BEITRAEGE ZUR ORDNUNGSPOLITIK
AUS DEM INSTITUT DER DEUTSCHEN WIRTSCHAFT KOELN
OLIVER KOPPEL
PATENTE
UNVERZICHTBARER SCHUTZ DES GEISTIGEN EIGENTUMS
IN DER GLOBALISIERTEN WIRTSCHAFT
ULTS UARMSIAAI
17704125
INSTITUT DER DEUTSCHEN
WIRTSCHAFT KOELN MEDIEN GMBH
INHALT
1 EINLEITUNG 4
2 ZUR BEDEUTUNG VON PATENTEN 5
2.1 PATENTE ALS OEKONOMISCHE GUETER 5
2.2 GEFAHREN EINES PATENTVERZICHTS 7
2.3 DAS DEUTSCHE PATENTSYSTEM 8
3 INTERNATIONALE ASPEKTE DER PATENTIERUNGSAKTIVITAET 11
3.1 INTENSIVIERUNG UND INTERNATIONALISIERUNG 11
3.2 UNTERSCHIEDLICHE QUALITAETSSTANDARDS BEI DER PATENTVERGABE 18
4 ZUR KRITIK AN PATENTEN 20
4.1 SPERRPATENTE 20
4.2 U-BOOT-PATENTE UND PATENT-TROLLE 25
4.3 PATENTRECHTSVERLETZUNGEN 27
5 HERAUSFORDERUNGEN FUER DEN PATENTSCHUTZ 29
5.1 NOTWENDIGKEIT EINHEITLICH HOHER QUALITAETSSTANDARDS 29
5.2 SCHAFFUNG EINES EUROPAEISCHEN GEMEINSCHAFTSPATENTS 32
5.3 HANDHABUNG NEUER TECHNOLOGIEFELDER 35
6 FAZIT 40
LITERATUR . 43
KURZDARSTELLUNG / ABSTRACT 47
DER AUTOR 48
|
| any_adam_object | 1 |
| author | Sampaio, Augusto |
| author_facet | Sampaio, Augusto |
| author_role | aut |
| author_sort | Sampaio, Augusto |
| author_variant | a s as |
| building | Verbundindex |
| bvnumber | BV044636821 |
| classification_rvk | ST 255 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00004807 (OCoLC)1012663205 (DE-599)BVBBV044636821 |
| dewey-full | 005.453 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.453 |
| dewey-search | 005.453 |
| dewey-sort | 15.453 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03205nmm a2200529zcb4500</leader><controlfield tag="001">BV044636821</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1997 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812830685</subfield><subfield code="9">978-981-283-068-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/2870</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00004807</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012663205</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636821</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.453</subfield><subfield code="2">22</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="100" ind1="1" ind2=" "><subfield code="a">Sampaio, Augusto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An algebraic approach to compiler design</subfield><subfield code="c">Augusto Sampaio</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 188 p.</subfield><subfield code="b">ill</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="0" ind2=" "><subfield code="a">AMAST series in computing</subfield><subfield code="v">vol. 4</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Übersetzerbau</subfield><subfield code="0">(DE-588)4121803-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Übersetzerbau</subfield><subfield code="0">(DE-588)4121803-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810223915</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810223919</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2870#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=030034794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034794</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="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2870#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV044636821 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:49Z |
| institution | BVB |
| isbn | 9789812830685 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034794 |
| oclc_num | 1012663205 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xiii, 188 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | AMAST series in computing |
| spelling | Sampaio, Augusto Verfasser aut An algebraic approach to compiler design Augusto Sampaio Singapore World Scientific Pub. Co. c1997 xiii, 188 p. ill txt rdacontent c rdamedia cr rdacarrier AMAST series in computing vol. 4 This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness Compilers (Computer programs) Algebra Programming languages (Electronic computers) Übersetzerbau (DE-588)4121803-6 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Übersetzerbau (DE-588)4121803-6 s Theoretische Informatik (DE-588)4196735-5 s 2\p DE-604 Erscheint auch als Druck-Ausgabe 9789810223915 Erscheint auch als Druck-Ausgabe 9810223919 http://www.worldscientific.com/worldscibooks/10.1142/2870#t=toc Verlag URL des Erstveroeffentlichers Volltext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030034794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 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 |
| spellingShingle | Sampaio, Augusto An algebraic approach to compiler design Compilers (Computer programs) Algebra Programming languages (Electronic computers) Übersetzerbau (DE-588)4121803-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4121803-6 (DE-588)4196735-5 (DE-588)4113937-9 |
| title | An algebraic approach to compiler design |
| title_auth | An algebraic approach to compiler design |
| title_exact_search | An algebraic approach to compiler design |
| title_full | An algebraic approach to compiler design Augusto Sampaio |
| title_fullStr | An algebraic approach to compiler design Augusto Sampaio |
| title_full_unstemmed | An algebraic approach to compiler design Augusto Sampaio |
| title_short | An algebraic approach to compiler design |
| title_sort | an algebraic approach to compiler design |
| topic | Compilers (Computer programs) Algebra Programming languages (Electronic computers) Übersetzerbau (DE-588)4121803-6 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Compilers (Computer programs) Algebra Programming languages (Electronic computers) Übersetzerbau Theoretische Informatik Hochschulschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/2870#t=toc http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030034794&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sampaioaugusto analgebraicapproachtocompilerdesign |