Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
1991
|
| Schriftenreihe: | Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin
1991,18 |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005470261 | ||
| 003 | DE-604 | ||
| 005 | 19921006 | ||
| 007 | t | ||
| 008 | 920713s1991 gw d||| |||| 00||| ger d | ||
| 035 | |a (OCoLC)46151721 | ||
| 035 | |a (DE-599)BVBBV005470261 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-83 |a DE-188 | ||
| 100 | 1 | |a Glas, Rainer |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM |c Rainer Glas ; Andreas Knoche. [Technische Universität Berlin, Fachbereich 20, Informatik] |
| 264 | 1 | |a Berlin |b Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 |c 1991 | |
| 300 | |a 43 Bl. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin |v 1991,18 | |
| 700 | 1 | |a Knoche, Andreas |e Verfasser |4 aut | |
| 810 | 2 | |a Technische Universität Berlin |t Forschungsberichte des Fachbereichs Informatik |v 1991,18 |w (DE-604)BV000001083 |9 1991,18 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003424745&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003424745 | ||
Datensatz im Suchindex
| _version_ | 1804119685485035520 |
|---|---|
| adam_text | Contents
1 Einleitung 3
2 Die Sprache DONUTS 4
3 Das abstrakte Environmentmodell AEM 7
4 Die Semantik von DONUTS 10
4.1 Das Environment A 11
4.1.1 Notation und grundlegende Definitionen 12
4.1.2 Eigenschaften von Bindungsumgebungen 13
4.1.3 Definition des Environments 15
4.2 Die Actions $ 18
4.3 Die Zuordmmgsfunktion r 19
4.3.1 CreateStore 21
4.3.2 Assign 22
4.3.3 InProcCall 24
4.3.4 ExProcCall 25
4.3.5 Distribute 26
4.3.6 Condition 28
4.3.7 ForkNode 30
4.3.8 JoinNode 31
4.3.9 MergeNode 32
4.3.10 Start und SinkNode 32
5 DONUTS ist definit 33
5.1 Das AEM ist (sa) und (sm) 33
5.1.1 Action 1 : (sn,vd,val) : Env i— Env 34
5.1.2 Action 2 : (sn) : Env ¦—? Env 36
5.1.3 Action 3 : (ed,t) : Env ¦—? Env 36
5.2 Das AEM ist (ver) 37
5.2.1 CreateStore Operation 38
5.2.2 ValueAssign Operation 38
5.2.3 ConstAssign Operation 39
5.2.4 InProcCall Operation 39
5.2.5 ExProcCall Operation 40
5.2.6 ValueDistribute Operation 40
5.2.7 ConstDistribute Operation 40
5.2.8 ValueCondition Operation 41
5.2.9 ConstCondition Operation 41
5.2.10 ForkNode Operation 41
5.2.11 JoinNode Operation 41
5.2.12 MergeNode Operation 41
2
|
| any_adam_object | 1 |
| author | Glas, Rainer Knoche, Andreas |
| author_facet | Glas, Rainer Knoche, Andreas |
| author_role | aut aut |
| author_sort | Glas, Rainer |
| author_variant | r g rg a k ak |
| building | Verbundindex |
| bvnumber | BV005470261 |
| ctrlnum | (OCoLC)46151721 (DE-599)BVBBV005470261 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01378nam a2200301 cb4500</leader><controlfield tag="001">BV005470261</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19921006 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920713s1991 gw d||| |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46151721</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005470261</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Glas, Rainer</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM</subfield><subfield code="c">Rainer Glas ; Andreas Knoche. [Technische Universität Berlin, Fachbereich 20, Informatik]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">43 Bl.</subfield><subfield code="b">graph. Darst.</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="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin</subfield><subfield code="v">1991,18</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Knoche, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin</subfield><subfield code="t">Forschungsberichte des Fachbereichs Informatik</subfield><subfield code="v">1991,18</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1991,18</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=003424745&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003424745</subfield></datafield></record></collection> |
| id | DE-604.BV005470261 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:30:07Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003424745 |
| oclc_num | 46151721 |
| open_access_boolean | |
| owner | DE-12 DE-83 DE-188 |
| owner_facet | DE-12 DE-83 DE-188 |
| physical | 43 Bl. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 |
| record_format | marc |
| series2 | Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin |
| spelling | Glas, Rainer Verfasser aut Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM Rainer Glas ; Andreas Knoche. [Technische Universität Berlin, Fachbereich 20, Informatik] Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 1991 43 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin 1991,18 Knoche, Andreas Verfasser aut Technische Universität Berlin Forschungsberichte des Fachbereichs Informatik 1991,18 (DE-604)BV000001083 1991,18 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003424745&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Glas, Rainer Knoche, Andreas Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM |
| title | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM |
| title_auth | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM |
| title_exact_search | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM |
| title_full | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM Rainer Glas ; Andreas Knoche. [Technische Universität Berlin, Fachbereich 20, Informatik] |
| title_fullStr | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM Rainer Glas ; Andreas Knoche. [Technische Universität Berlin, Fachbereich 20, Informatik] |
| title_full_unstemmed | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM Rainer Glas ; Andreas Knoche. [Technische Universität Berlin, Fachbereich 20, Informatik] |
| title_short | Semantische Fundierung der asynchron prozeduralen Sprache DONUTS im AEM |
| title_sort | semantische fundierung der asynchron prozeduralen sprache donuts im aem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003424745&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT glasrainer semantischefundierungderasynchronprozeduralensprachedonutsimaem AT knocheandreas semantischefundierungderasynchronprozeduralensprachedonutsimaem |