Abstract semantics of synchronous languages: the example Esterel
Abstract: "We give an abstract denotational semantic model for the synchronous programming language Esterel, which is used for the description and implementation of reactive process control systems. We base this semantics on a functional model of behaviour. We describe the input and output hist...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
1997
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9706 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We give an abstract denotational semantic model for the synchronous programming language Esterel, which is used for the description and implementation of reactive process control systems. We base this semantics on a functional model of behaviour. We describe the input and output histories of Esterel programs by streams carrying sets of signals. We represent the behaviour of an Esterel component mathematically by a stream processing function. The main difficulty in giving a semantics to Esterel consists in the idea of instantaneous reactions of Esterel programs to input signals. In our semantics, we overcome this problem by modelling the causality between the events in every time interval by an individual fixpoint construction. The semantic model fixes the meaning of Esterel." |
| Beschreibung: | Literaturverz. S. 19 - 20 |
| Beschreibung: | 20 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011712904 | ||
| 003 | DE-604 | ||
| 005 | 20040419 | ||
| 007 | t | ||
| 008 | 971222s1997 gw d||| t||| 00||| ger d | ||
| 016 | 7 | |a 952259133 |2 DE-101 | |
| 035 | |a (OCoLC)40283258 | ||
| 035 | |a (DE-599)BVBBV011712904 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 088 | |a TUM I 9706 | ||
| 100 | 1 | |a Broy, Manfred |d 1949- |e Verfasser |0 (DE-588)109602137 |4 aut | |
| 245 | 1 | 0 | |a Abstract semantics of synchronous languages |b the example Esterel |c Manfred Broy |
| 264 | 1 | |a München |c 1997 | |
| 300 | |a 20 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9706 | |
| 500 | |a Literaturverz. S. 19 - 20 | ||
| 520 | 3 | |a Abstract: "We give an abstract denotational semantic model for the synchronous programming language Esterel, which is used for the description and implementation of reactive process control systems. We base this semantics on a functional model of behaviour. We describe the input and output histories of Esterel programs by streams carrying sets of signals. We represent the behaviour of an Esterel component mathematically by a stream processing function. The main difficulty in giving a semantics to Esterel consists in the idea of instantaneous reactions of Esterel programs to input signals. In our semantics, we overcome this problem by modelling the causality between the events in every time interval by an individual fixpoint construction. The semantic model fixes the meaning of Esterel." | |
| 650 | 4 | |a Process control | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Real-time data processing | |
| 650 | 4 | |a System design | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9706 |w (DE-604)BV006185376 |9 9706 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007898600 | ||
Datensatz im Suchindex
| _version_ | 1804126250486202368 |
|---|---|
| any_adam_object | |
| author | Broy, Manfred 1949- |
| author_GND | (DE-588)109602137 |
| author_facet | Broy, Manfred 1949- |
| author_role | aut |
| author_sort | Broy, Manfred 1949- |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV011712904 |
| ctrlnum | (OCoLC)40283258 (DE-599)BVBBV011712904 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01963nam a2200373 cb4500</leader><controlfield tag="001">BV011712904</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971222s1997 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952259133</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40283258</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011712904</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9706</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract semantics of synchronous languages</subfield><subfield code="b">the example Esterel</subfield><subfield code="c">Manfred Broy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">20 S.</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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9706</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 19 - 20</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We give an abstract denotational semantic model for the synchronous programming language Esterel, which is used for the description and implementation of reactive process control systems. We base this semantics on a functional model of behaviour. We describe the input and output histories of Esterel programs by streams carrying sets of signals. We represent the behaviour of an Esterel component mathematically by a stream processing function. The main difficulty in giving a semantics to Esterel consists in the idea of instantaneous reactions of Esterel programs to input signals. In our semantics, we overcome this problem by modelling the causality between the events in every time interval by an individual fixpoint construction. The semantic model fixes the meaning of Esterel."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Process control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9706</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9706</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007898600</subfield></datafield></record></collection> |
| id | DE-604.BV011712904 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:14:28Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007898600 |
| oclc_num | 40283258 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 20 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Abstract semantics of synchronous languages the example Esterel Manfred Broy München 1997 20 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9706 Literaturverz. S. 19 - 20 Abstract: "We give an abstract denotational semantic model for the synchronous programming language Esterel, which is used for the description and implementation of reactive process control systems. We base this semantics on a functional model of behaviour. We describe the input and output histories of Esterel programs by streams carrying sets of signals. We represent the behaviour of an Esterel component mathematically by a stream processing function. The main difficulty in giving a semantics to Esterel consists in the idea of instantaneous reactions of Esterel programs to input signals. In our semantics, we overcome this problem by modelling the causality between the events in every time interval by an individual fixpoint construction. The semantic model fixes the meaning of Esterel." Process control Programming languages (Electronic computers) Semantics Real-time data processing System design Technische Universität <München>: TUM-I 9706 (DE-604)BV006185376 9706 |
| spellingShingle | Broy, Manfred 1949- Abstract semantics of synchronous languages the example Esterel Technische Universität <München>: TUM-I Process control Programming languages (Electronic computers) Semantics Real-time data processing System design |
| title | Abstract semantics of synchronous languages the example Esterel |
| title_auth | Abstract semantics of synchronous languages the example Esterel |
| title_exact_search | Abstract semantics of synchronous languages the example Esterel |
| title_full | Abstract semantics of synchronous languages the example Esterel Manfred Broy |
| title_fullStr | Abstract semantics of synchronous languages the example Esterel Manfred Broy |
| title_full_unstemmed | Abstract semantics of synchronous languages the example Esterel Manfred Broy |
| title_short | Abstract semantics of synchronous languages |
| title_sort | abstract semantics of synchronous languages the example esterel |
| title_sub | the example Esterel |
| topic | Process control Programming languages (Electronic computers) Semantics Real-time data processing System design |
| topic_facet | Process control Programming languages (Electronic computers) Semantics Real-time data processing System design |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT broymanfred abstractsemanticsofsynchronouslanguagestheexampleesterel |