Software Prototyping mit SETL:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1989
|
| Schriftenreihe: | Leitfäden und Monographien der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der diskreten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vorhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Backtracking. Die DRSL erlaubt die Deklaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeklaration in Sprachen wie Pascal); sie ist in der gegenwärtigen Form nicht besonders nützlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollständige Einführung in SETL gegeben; ein kurzer Überblick über den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wir wenden das auf die Konstruktion eines Scanners für Pascal-Programme an, um zu zeigen, daß man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Ergänzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel 3 wendet dann die Sprache auf einige Probleme an, um dem Leser ein vertieftes Gefühl für den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustern in Zeichenketten, ein Verfahren zum dynamischen Hashing, und spezifizieren einen Parsergenerator für eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verständlich in SETL formulieren lassen |
| Beschreibung: | 1 Online-Ressource (229 S.) |
| ISBN: | 9783322947109 9783519022725 |
| DOI: | 10.1007/978-3-322-94710-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042431026 | ||
| 003 | DE-604 | ||
| 005 | 20161128 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1989 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322947109 |c Online |9 978-3-322-94710-9 | ||
| 020 | |a 9783519022725 |c Print |9 978-3-519-02272-5 | ||
| 024 | 7 | |a 10.1007/978-3-322-94710-9 |2 doi | |
| 035 | |a (OCoLC)864038264 | ||
| 035 | |a (DE-599)BVBBV042431026 | ||
| 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 620 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Doberkat, Ernst-Erich |d 1948- |e Verfasser |0 (DE-588)12244728X |4 aut | |
| 245 | 1 | 0 | |a Software Prototyping mit SETL |c von Ernst-Erich Doberkat, Dietmar Fox |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1989 | |
| 300 | |a 1 Online-Ressource (229 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden und Monographien der Informatik | |
| 500 | |a wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der diskreten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vorhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Backtracking. Die DRSL erlaubt die Deklaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeklaration in Sprachen wie Pascal); sie ist in der gegenwärtigen Form nicht besonders nützlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollständige Einführung in SETL gegeben; ein kurzer Überblick über den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wir wenden das auf die Konstruktion eines Scanners für Pascal-Programme an, um zu zeigen, daß man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Ergänzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel 3 wendet dann die Sprache auf einige Probleme an, um dem Leser ein vertieftes Gefühl für den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustern in Zeichenketten, ein Verfahren zum dynamischen Hashing, und spezifizieren einen Parsergenerator für eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verständlich in SETL formulieren lassen | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a SETL |0 (DE-588)4129142-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prototyping |0 (DE-588)4205527-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prototyping |0 (DE-588)4205527-1 |D s |
| 689 | 0 | 1 | |a SETL |0 (DE-588)4129142-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Fox, Dietmar |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-94710-9 |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-027866357 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153113627590656 |
|---|---|
| any_adam_object | |
| author | Doberkat, Ernst-Erich 1948- |
| author_GND | (DE-588)12244728X |
| author_facet | Doberkat, Ernst-Erich 1948- |
| author_role | aut |
| author_sort | Doberkat, Ernst-Erich 1948- |
| author_variant | e e d eed |
| building | Verbundindex |
| bvnumber | BV042431026 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)864038264 (DE-599)BVBBV042431026 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-94710-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03449nmm a2200493zc 4500</leader><controlfield tag="001">BV042431026</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161128 </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">9783322947109</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-94710-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519022725</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02272-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-94710-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864038264</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431026</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">620</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">Doberkat, Ernst-Erich</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12244728X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software Prototyping mit SETL</subfield><subfield code="c">von Ernst-Erich Doberkat, Dietmar Fox</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (229 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="0" ind2=" "><subfield code="a">Leitfäden und Monographien der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der diskreten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vorhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Backtracking. Die DRSL erlaubt die Deklaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeklaration in Sprachen wie Pascal); sie ist in der gegenwärtigen Form nicht besonders nützlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollständige Einführung in SETL gegeben; ein kurzer Überblick über den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wir wenden das auf die Konstruktion eines Scanners für Pascal-Programme an, um zu zeigen, daß man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Ergänzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel 3 wendet dann die Sprache auf einige Probleme an, um dem Leser ein vertieftes Gefühl für den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustern in Zeichenketten, ein Verfahren zum dynamischen Hashing, und spezifizieren einen Parsergenerator für eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verständlich in SETL formulieren lassen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">SETL</subfield><subfield code="0">(DE-588)4129142-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prototyping</subfield><subfield code="0">(DE-588)4205527-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prototyping</subfield><subfield code="0">(DE-588)4205527-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">SETL</subfield><subfield code="0">(DE-588)4129142-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fox, Dietmar</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-94710-9</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-027866357</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></record></collection> |
| id | DE-604.BV042431026 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:27Z |
| institution | BVB |
| isbn | 9783322947109 9783519022725 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866357 |
| oclc_num | 864038264 |
| 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 (229 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden und Monographien der Informatik |
| spelling | Doberkat, Ernst-Erich 1948- Verfasser (DE-588)12244728X aut Software Prototyping mit SETL von Ernst-Erich Doberkat, Dietmar Fox Wiesbaden Vieweg+Teubner Verlag 1989 1 Online-Ressource (229 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden und Monographien der Informatik wir die Sprache als Vehikel nutzt - dort werden jedoch Elemente der diskreten Mathematik transportiert. Da Fragen des Prototyping im Vordergrund stehen, haben wir zwei in SETL vorhandene Mechanismen hier nicht behandelt: die data representation sublanguage (DRSL) und Backtracking. Die DRSL erlaubt die Deklaration von Variablen mit ihrer Speicherdarstellung (analog zur Variablendeklaration in Sprachen wie Pascal); sie ist in der gegenwärtigen Form nicht besonders nützlich. Backtracking als nicht-deterministisches Programmieren hat noch keinen Eingang in den Werkzeugkasten des Software Prototyping gefunden und wurde daher auch nicht behandelt. Ansonsten haben wir eine vollständige Einführung in SETL gegeben; ein kurzer Überblick über den Inhalt folgt. Das erste Kapitel behandelt die zentralen primitiven Kontroll- und Datenstrukturen und zeigt, wie Makros und Prozeduren definiert und benutzt werden. Wir wenden das auf die Konstruktion eines Scanners für Pascal-Programme an, um zu zeigen, daß man hiermit schon sinnvolle Probleme bearbeiten kann. Im zweiten Kapitel werden zusammengesetzte Datentypen (Mengen, Thpel, Abbildungen) behandelt, und die notwendigen Ergänzungen im Hinblick auf Kontrollstrukturen angebracht. Kapitel 3 wendet dann die Sprache auf einige Probleme an, um dem Leser ein vertieftes Gefühl für den Umgang mit SETL zu geben. Wir diskutieren den Algorithmus von Knuth, Morris und Pran zum Auffinden von Mustern in Zeichenketten, ein Verfahren zum dynamischen Hashing, und spezifizieren einen Parsergenerator für eine einfache Klasse kontextfreier Grammatiken. Insbesondere das letzte Beispiel zeigt, wie sich komplexe Algorithmen kompakt und verständlich in SETL formulieren lassen Engineering Engineering, general Ingenieurwissenschaften SETL (DE-588)4129142-6 gnd rswk-swf Prototyping (DE-588)4205527-1 gnd rswk-swf Prototyping (DE-588)4205527-1 s SETL (DE-588)4129142-6 s 1\p DE-604 Fox, Dietmar Sonstige oth https://doi.org/10.1007/978-3-322-94710-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Doberkat, Ernst-Erich 1948- Software Prototyping mit SETL Engineering Engineering, general Ingenieurwissenschaften SETL (DE-588)4129142-6 gnd Prototyping (DE-588)4205527-1 gnd |
| subject_GND | (DE-588)4129142-6 (DE-588)4205527-1 |
| title | Software Prototyping mit SETL |
| title_auth | Software Prototyping mit SETL |
| title_exact_search | Software Prototyping mit SETL |
| title_full | Software Prototyping mit SETL von Ernst-Erich Doberkat, Dietmar Fox |
| title_fullStr | Software Prototyping mit SETL von Ernst-Erich Doberkat, Dietmar Fox |
| title_full_unstemmed | Software Prototyping mit SETL von Ernst-Erich Doberkat, Dietmar Fox |
| title_short | Software Prototyping mit SETL |
| title_sort | software prototyping mit setl |
| topic | Engineering Engineering, general Ingenieurwissenschaften SETL (DE-588)4129142-6 gnd Prototyping (DE-588)4205527-1 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften SETL Prototyping |
| url | https://doi.org/10.1007/978-3-322-94710-9 |
| work_keys_str_mv | AT doberkaternsterich softwareprototypingmitsetl AT foxdietmar softwareprototypingmitsetl |