Funktionale Prozeßsprachen höherer Ordnung:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
1997
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 340 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011756124 | ||
| 003 | DE-604 | ||
| 005 | 19980506 | ||
| 007 | t | ||
| 008 | 980205s1997 m||| 00||| gerod | ||
| 016 | 7 | |a 952864436 |2 DE-101 | |
| 035 | |a (OCoLC)246104836 | ||
| 035 | |a (DE-599)BVBBV011756124 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-29T |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a DAT 544d |2 stub | ||
| 100 | 1 | |a Frauenstein, Thomas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Funktionale Prozeßsprachen höherer Ordnung |c vorgelegt von Thomas Frauenstein |
| 264 | 1 | |c 1997 | |
| 300 | |a XVIII, 340 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Berlin, Techn. Univ., Diss., 1997 | ||
| 650 | 0 | 7 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ordnung n |0 (DE-588)4322729-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | 1 | |a Lambda-Kalkül |0 (DE-588)4166495-4 |D s |
| 689 | 0 | 2 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 0 | 3 | |a Ordnung n |0 (DE-588)4322729-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=007933549&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007933549 | |
Record in the Search Index
| _version_ | 1807501360889856000 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1
EINLEITUNG
1
1.1
HINTERGRUND
.
5
1.2
UEBERBLICK
UND
AULBAU
DER
ARBEIT
.
13
I
DER
KALKUEL
CCFO
21
2
SYNTAX
VON
CCFO
23
2.1
FESTLEGUNG
DER
SYNTAX
.
24
2.2
ERLAEUTERUNG
DER
SPRACHELEMENTE
.
26
2.3
BEISPIELE
.
28
2.4
DIENSTBINDUNGEN
.
32
3
TYPUNG
VON
CCFO
41
4
OPERATIONALE
SEMANTIK
VON
CCFO
55
4.1
AUS
WERTUNGSSTRATEGIE
.
56
4.2
APPLIKATIVE
SEMANTIK
.
57
4.3
SEMANTIK
DER
KOMMUNIKATION
.
63
4.3.1
EIGENSCHAFTEN
DER
TRANSITIONSRELATIONEN
.
70
4.3.2
OPERATIONALE
SEMANTIK
DER
DIENSTBINDUNGEN
.
73
4.4
APPLIKATIVE
AUSWERTUNG
.
76
5
TYPUNG
UND
OPERATIONALE
SEMANTIK
83
6
VERHALTENSGLEICHHEITEN
FUER
CCFO
95
6.1
STARKE
EHD-AEQUIVALENZ
.
96
6.1.1
ALGEBRAISCHE
EIGENSCHAFTEN
DER
STARKEN
EHD-AEQUIVALENZ
.
106
6.2
APPLIKATIVE
EHD-AEQUIVALENZ
.
116
6.2.1
ALGEBRAISCHE
EIGENSCHAFTEN
DER
APPLIKATIVEN
EHD-AEQUIVALENZ
.
120
6.3
SCHWACHE
EHD-AEQUIVALENZ
.
122
XIV
INHALTSVERZEICHNIS
6.3.1
ALGEBRAISCHE
EIGENSCHAFTEN
DER
SCHWACHEN
EHD-AEQUIVALENZ
.
.
125
6.4
KONGRUENZEIGENSCHAFT
DER
SCHWACHEN
EHD-AEQUIVALENZ
.
126
6.4.1
HOWES
METHODE
.
129
6.4.2
SCHRITT
I:
STANDARDEIGENSCHAFTEN
DES
KANDIDATEN
.
130
6.4.3
SCHRITT
II:
STRENGERE
EHD-SIMULATIONSEIGENSCHAFTEN
DES
KANDIDATEN
DER
SCHWACHEN
EHD-AEQUIVALENZ
.
135
6.4.4
SCHRITT
III:
EHD-BISIMULATIONSEIGENSCHAFTEN
DES
TRANSITIVEN
KANDIDATEN
DER
SCHWACHEN
EHD-AEQUIVALENZ
.
137
II
DER
KALKUEL
CCFS
139
7
SYNTAX
VON
CCFS
141
7.1
FESTLEGUNG
DER
SYNTAX
.
'.
.
142
7.2
ERLAEUTERUNG
DER
SPRACHELEMENTE
.
144
7.3
BEISPIELE
.
145
7.4
DEFINITIONEN
.
148
8
TYPUNG
VON
CCFS
151
9
OPERATIONALE
SEMANTIK
VON
CCFS
159
9.1
APPLIKATIVE
SEMANTIK
.
159
9.2
SEMANTIK
DER
KOMMUNIKATION
.
165
9.2.1
EIGENSCHAFTEN
DER
TRANSITIONSRELATIONEN
.
168
10
TYPUNG
UND
OPERATIONALE
SEMANTIK
171
11
VERHALTENSGLEICHHEITEN
FUER
CCFS
177
11.1
STARKE
LHS-AEQUIVALENZ
.
177
11.2
ALGEBRAISCHE
EIGENSCHAFTEN
DER
STARKEN
LHS-AEQUIVALENZ
.
182
11.3
SCHWACHE
LHS-AEQUIVALENZ
.
189
11.3.1
ALGEBRAISCHE
EIGENSCHAFTEN
DER
SCHWACHEN
LHS-AEQUIVALENZ
.
.
.
191
11.4
KONGRUENZEIGENSCHAFT
DER
SCHWACHEN
LHS-AEQUIVALENZ
.
192
11.4.1
SCHRITT
I:
STANDARDEIGENSCHAFTEN
DES
KANDIDATEN
.
193
11.4.2
SCHRITT
II:
STRENGERE
LHS-SIMULATIONSEIGENSCHAFTEN
DES
KANDIDATEN
DER
SCHWACHEN
LHS-AEQUIVALENZ
.
.
;
.
193
11.4.3
SCHRITT
III:
LHS-BISIMULATIONSEIGENSCHAFTEN
DES
TRANSITIVEN
KANDIDATEN
DER
SCHWACHEN
LHS-AEQUIVALENZ
.
196
11.5
STARKE
KONTEXTAEQUIVALENZ
.
197
11.5.1
ALGEBRAISCHE
EIGENSCHAFTEN
DER
STARKEN
KONTEXTAEQUIVALENZ
.
.
.
202
11.6
SCHWACHE
KONTEXTAEQUIVALENZ
.
215
XV
11.6.1
ALGEBRAISCHE
EIGENSCHAFTEN
DER
SCHWACHEN
KONTEXTAEQUIVALENZ
.
.
218
11.7
DOPPELKONTEXTAEQUIVALENZ
.
229
11.8
KONGRUENZ
DER
SCHWACHEN
KONTEXTAEQUIVALENZ
.
232
11.8.1
SCHRITT
I:
STANDARDEIGENSCHAFTEN
DES
KANDIDATEN
.
232
11.8.2
SCHRITT
II:
STRENGERE
LDCT-SIMULATIONSEIGENSCHAFTEN
DES
KANDIDATEN
DER
SCHWACHEN
LDCT-AQUIVALENZ
.
232
11.8.3
SCHRITT
III:
LDCT-BISIMULATIONSEIGENSCHAFTEN
DES
TRANSITIVEN
KANDIDATEN
DER
SCHWACHEN
LDCT-AQUIVALENZ
.
236
III
FUNKTIONALE
PROZESSORIENTIERTE
PROGRAMMIERUNG
MIT
MONADEN
239
12
NEBENLAEUFIGE
PROGRAMMIERUNG
IN
COPAL
241
12.1
WESENTLICHE
SPRACHKONZEPTE
VON
OPAL
.
241
12.2
KOMMANDO-MONADE
IN
OPAL
.
244
12.3
PROZESS-MONADE
IN
COPAL
.
248
12.3.1
ABGELEITETE
ABSTRAKTIONEN
FUER
NEBENLAEUFIGKEIT
.
252
13
SEMANTIK
VON
COPAL
259
13.1
FUNKTIONALE
KERNSPRACHE
PCOPAL
.
260
13.2
REDUKTIONSSEMANTIK
.
264
13.3
UBERSETZUNGSSEMANTIK
.
268
14
ERGEBNISSE
UND
AUSBLICK
275
IV
ANHAENGE
281
ANHANG
A:
KONGRUENZLEMMATA
ZUR
SCHWACHEN
EHD-AEQUIVALENZ
283
ANHANG
B:
KONGRUENZLEMMATA
ZUR
SCHWACHEN
LHS-AEQUIVALENZ
295
ANHANG
C:
KONGRUENZLEMMATA
ZUR
SCHWACHEN
LDCT-AQUIVALENZ
307
LITERATURVERZEICHNIS
321 |
| any_adam_object | 1 |
| author | Frauenstein, Thomas |
| author_facet | Frauenstein, Thomas |
| author_role | aut |
| author_sort | Frauenstein, Thomas |
| author_variant | t f tf |
| building | Verbundindex |
| bvnumber | BV011756124 |
| classification_tum | DAT 544d |
| ctrlnum | (OCoLC)246104836 (DE-599)BVBBV011756124 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV011756124</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980506</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980205s1997 m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952864436</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246104836</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011756124</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Frauenstein, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Funktionale Prozeßsprachen höherer Ordnung</subfield><subfield code="c">vorgelegt von Thomas Frauenstein</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 340 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">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="502" ind1=" " ind2=" "><subfield code="a">Berlin, Techn. Univ., Diss., 1997</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ordnung n</subfield><subfield code="0">(DE-588)4322729-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><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">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Lambda-Kalkül</subfield><subfield code="0">(DE-588)4166495-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Ordnung n</subfield><subfield code="0">(DE-588)4322729-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=007933549&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007933549</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011756124 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-16T00:20:24Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007933549 |
| oclc_num | 246104836 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 DE-188 |
| physical | XVIII, 340 S. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| spelling | Frauenstein, Thomas Verfasser aut Funktionale Prozeßsprachen höherer Ordnung vorgelegt von Thomas Frauenstein 1997 XVIII, 340 S. txt rdacontent n rdamedia nc rdacarrier Berlin, Techn. Univ., Diss., 1997 Lambda-Kalkül (DE-588)4166495-4 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf Ordnung n (DE-588)4322729-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Funktionale Programmierung (DE-588)4198740-8 s Lambda-Kalkül (DE-588)4166495-4 s Prozessalgebra (DE-588)4283920-8 s Ordnung n (DE-588)4322729-6 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007933549&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Frauenstein, Thomas Funktionale Prozeßsprachen höherer Ordnung Lambda-Kalkül (DE-588)4166495-4 gnd Prozessalgebra (DE-588)4283920-8 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Ordnung n (DE-588)4322729-6 gnd |
| subject_GND | (DE-588)4166495-4 (DE-588)4283920-8 (DE-588)4198740-8 (DE-588)4322729-6 (DE-588)4113937-9 |
| title | Funktionale Prozeßsprachen höherer Ordnung |
| title_auth | Funktionale Prozeßsprachen höherer Ordnung |
| title_exact_search | Funktionale Prozeßsprachen höherer Ordnung |
| title_full | Funktionale Prozeßsprachen höherer Ordnung vorgelegt von Thomas Frauenstein |
| title_fullStr | Funktionale Prozeßsprachen höherer Ordnung vorgelegt von Thomas Frauenstein |
| title_full_unstemmed | Funktionale Prozeßsprachen höherer Ordnung vorgelegt von Thomas Frauenstein |
| title_short | Funktionale Prozeßsprachen höherer Ordnung |
| title_sort | funktionale prozeßsprachen hoherer ordnung |
| topic | Lambda-Kalkül (DE-588)4166495-4 gnd Prozessalgebra (DE-588)4283920-8 gnd Funktionale Programmierung (DE-588)4198740-8 gnd Ordnung n (DE-588)4322729-6 gnd |
| topic_facet | Lambda-Kalkül Prozessalgebra Funktionale Programmierung Ordnung n Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007933549&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT frauensteinthomas funktionaleprozeßsprachenhohererordnung |