Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989
|
| Schriftenreihe: | Informatik-Fachberichte
210 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich |
| Beschreibung: | 1 Online-Ressource (IX, 151S.) |
| ISBN: | 9783642747694 9783540511724 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-74769-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433063 | ||
| 003 | DE-604 | ||
| 005 | 20171122 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1989 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642747694 |c Online |9 978-3-642-74769-4 | ||
| 020 | |a 9783540511724 |c Print |9 978-3-540-51172-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-74769-4 |2 doi | |
| 035 | |a (OCoLC)863804981 | ||
| 035 | |a (DE-599)BVBBV042433063 | ||
| 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.11 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Drosten, Klaus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Termersetzungssysteme |b Grundlagen der Prototyp-Generierung algebraischer Spezifikationen |c von Klaus Drosten |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1989 | |
| 300 | |a 1 Online-Ressource (IX, 151S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik-Fachberichte |v 210 |x 0343-3005 | |
| 500 | |a Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Algebra / Data processing | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-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 Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-74769-4 |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-027868394 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804153117980229632 |
|---|---|
| any_adam_object | |
| author | Drosten, Klaus |
| author_facet | Drosten, Klaus |
| author_role | aut |
| author_sort | Drosten, Klaus |
| author_variant | k d kd |
| building | Verbundindex |
| bvnumber | BV042433063 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863804981 (DE-599)BVBBV042433063 |
| dewey-full | 005.11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.11 |
| dewey-search | 005.11 |
| dewey-sort | 15.11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-74769-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03877nmm a2200613zcb4500</leader><controlfield tag="001">BV042433063</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171122 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1989 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642747694</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-74769-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540511724</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-51172-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-74769-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863804981</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433063</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.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Drosten, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Termersetzungssysteme</subfield><subfield code="b">Grundlagen der Prototyp-Generierung algebraischer Spezifikationen</subfield><subfield code="c">von Klaus Drosten</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 151S.)</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">Informatik-Fachberichte</subfield><subfield code="v">210</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich</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">Algebra / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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 Techniques</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">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-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">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-74769-4</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-027868394</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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042433063 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642747694 9783540511724 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868394 |
| oclc_num | 863804981 |
| 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 (IX, 151S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Informatik-Fachberichte |
| spelling | Drosten, Klaus Verfasser aut Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen von Klaus Drosten Berlin, Heidelberg Springer Berlin Heidelberg 1989 1 Online-Ressource (IX, 151S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 210 0343-3005 Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich Computer science Software engineering Algebra / Data processing Artificial intelligence Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Termersetzungssystem (DE-588)4117189-5 s 2\p DE-604 https://doi.org/10.1007/978-3-642-74769-4 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 |
| spellingShingle | Drosten, Klaus Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen Computer science Software engineering Algebra / Data processing Artificial intelligence Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Termersetzungssystem (DE-588)4117189-5 gnd |
| subject_GND | (DE-588)4117189-5 (DE-588)4113937-9 |
| title | Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen |
| title_auth | Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen |
| title_exact_search | Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen |
| title_full | Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen von Klaus Drosten |
| title_fullStr | Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen von Klaus Drosten |
| title_full_unstemmed | Termersetzungssysteme Grundlagen der Prototyp-Generierung algebraischer Spezifikationen von Klaus Drosten |
| title_short | Termersetzungssysteme |
| title_sort | termersetzungssysteme grundlagen der prototyp generierung algebraischer spezifikationen |
| title_sub | Grundlagen der Prototyp-Generierung algebraischer Spezifikationen |
| topic | Computer science Software engineering Algebra / Data processing Artificial intelligence Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Termersetzungssystem (DE-588)4117189-5 gnd |
| topic_facet | Computer science Software engineering Algebra / Data processing Artificial intelligence Computer Science Programming Techniques Programming Languages, Compilers, Interpreters Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Software Engineering Datenverarbeitung Informatik Künstliche Intelligenz Termersetzungssystem Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-74769-4 |
| work_keys_str_mv | AT drostenklaus termersetzungssystemegrundlagenderprototypgenerierungalgebraischerspezifikationen |