Cool: A control flow generator for system analysis:
Abstract: "Cool is a unifying control-flow analysis (CFA) generator for system analysis, which is implemented within the MetaFrame system [17]. It uniformly supports the automatic generation of transition systems and flow graphs from terms and programs of process algebras and programming langua...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Passau
1998
|
| Schriftenreihe: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1998,01 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Cool is a unifying control-flow analysis (CFA) generator for system analysis, which is implemented within the MetaFrame system [17]. It uniformly supports the automatic generation of transition systems and flow graphs from terms and programs of process algebras and programming languages. Basically, it relies on 'unrolling' its argument according to transition rules in the style of structural operational semantic rules. As a side-effect of the unifying view of terms and programs of process algebras and programming languages, Cool supports the automatic construction of the CFA-components required by optimizing compilers, which are usually still hand-coded. In addition to providing an adequate tool support for this important initial step of optimizer construction, the combination of Cool with data-flow analysis and optimization generators like the DFA & OPT-MetaFrame tool kit [9] renders possible the generation of complete optimizers." |
| Beschreibung: | 16, 5 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011858352 | ||
| 003 | DE-604 | ||
| 005 | 19990121 | ||
| 007 | t | ||
| 008 | 980330s1998 gw d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)41080289 | ||
| 035 | |a (DE-599)BVBBV011858352 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-634 | ||
| 084 | |a SS 5600 |0 (DE-625)143571: |2 rvk | ||
| 100 | 1 | |a Braun, Volker |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Cool: A control flow generator for system analysis |c Volker Braun ; Jens Knoop ; Dirk Koschützki |
| 264 | 1 | |a Passau |c 1998 | |
| 300 | |a 16, 5 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1998,01 | |
| 520 | 3 | |a Abstract: "Cool is a unifying control-flow analysis (CFA) generator for system analysis, which is implemented within the MetaFrame system [17]. It uniformly supports the automatic generation of transition systems and flow graphs from terms and programs of process algebras and programming languages. Basically, it relies on 'unrolling' its argument according to transition rules in the style of structural operational semantic rules. As a side-effect of the unifying view of terms and programs of process algebras and programming languages, Cool supports the automatic construction of the CFA-components required by optimizing compilers, which are usually still hand-coded. In addition to providing an adequate tool support for this important initial step of optimizer construction, the combination of Cool with data-flow analysis and optimization generators like the DFA & OPT-MetaFrame tool kit [9] renders possible the generation of complete optimizers." | |
| 650 | 4 | |a Flowgraphs | |
| 650 | 4 | |a System analysis | |
| 650 | 4 | |a Transaction systems (Computer systems) | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Knoop, Jens |e Verfasser |4 aut | |
| 700 | 1 | |a Koschützki, Dirk |e Verfasser |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1998,01 |w (DE-604)BV000905393 |9 1998,01 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008010384 | ||
Datensatz im Suchindex
| _version_ | 1804126444969787392 |
|---|---|
| any_adam_object | |
| author | Braun, Volker Knoop, Jens Koschützki, Dirk |
| author_facet | Braun, Volker Knoop, Jens Koschützki, Dirk |
| author_role | aut aut aut |
| author_sort | Braun, Volker |
| author_variant | v b vb j k jk d k dk |
| building | Verbundindex |
| bvnumber | BV011858352 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)41080289 (DE-599)BVBBV011858352 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02559nam a2200445 cb4500</leader><controlfield tag="001">BV011858352</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990121 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980330s1998 gw d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41080289</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011858352</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">eng</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-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 5600</subfield><subfield code="0">(DE-625)143571:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Braun, Volker</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Cool: A control flow generator for system analysis</subfield><subfield code="c">Volker Braun ; Jens Knoop ; Dirk Koschützki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16, 5 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">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1998,01</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Cool is a unifying control-flow analysis (CFA) generator for system analysis, which is implemented within the MetaFrame system [17]. It uniformly supports the automatic generation of transition systems and flow graphs from terms and programs of process algebras and programming languages. Basically, it relies on 'unrolling' its argument according to transition rules in the style of structural operational semantic rules. As a side-effect of the unifying view of terms and programs of process algebras and programming languages, Cool supports the automatic construction of the CFA-components required by optimizing compilers, which are usually still hand-coded. In addition to providing an adequate tool support for this important initial step of optimizer construction, the combination of Cool with data-flow analysis and optimization generators like the DFA & OPT-MetaFrame tool kit [9] renders possible the generation of complete optimizers."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Flowgraphs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transaction systems (Computer systems)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Knoop, Jens</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Koschützki, Dirk</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1998,01</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1998,01</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008010384</subfield></datafield></record></collection> |
| id | DE-604.BV011858352 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:17:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008010384 |
| oclc_num | 41080289 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-634 |
| owner_facet | DE-154 DE-739 DE-12 DE-634 |
| physical | 16, 5 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Braun, Volker Verfasser aut Cool: A control flow generator for system analysis Volker Braun ; Jens Knoop ; Dirk Koschützki Passau 1998 16, 5 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1998,01 Abstract: "Cool is a unifying control-flow analysis (CFA) generator for system analysis, which is implemented within the MetaFrame system [17]. It uniformly supports the automatic generation of transition systems and flow graphs from terms and programs of process algebras and programming languages. Basically, it relies on 'unrolling' its argument according to transition rules in the style of structural operational semantic rules. As a side-effect of the unifying view of terms and programs of process algebras and programming languages, Cool supports the automatic construction of the CFA-components required by optimizing compilers, which are usually still hand-coded. In addition to providing an adequate tool support for this important initial step of optimizer construction, the combination of Cool with data-flow analysis and optimization generators like the DFA & OPT-MetaFrame tool kit [9] renders possible the generation of complete optimizers." Flowgraphs System analysis Transaction systems (Computer systems) Informatik (DE-588)4026894-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Knoop, Jens Verfasser aut Koschützki, Dirk Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1998,01 (DE-604)BV000905393 1998,01 |
| spellingShingle | Braun, Volker Knoop, Jens Koschützki, Dirk Cool: A control flow generator for system analysis Flowgraphs System analysis Transaction systems (Computer systems) Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4196735-5 (DE-588)4037944-9 |
| title | Cool: A control flow generator for system analysis |
| title_auth | Cool: A control flow generator for system analysis |
| title_exact_search | Cool: A control flow generator for system analysis |
| title_full | Cool: A control flow generator for system analysis Volker Braun ; Jens Knoop ; Dirk Koschützki |
| title_fullStr | Cool: A control flow generator for system analysis Volker Braun ; Jens Knoop ; Dirk Koschützki |
| title_full_unstemmed | Cool: A control flow generator for system analysis Volker Braun ; Jens Knoop ; Dirk Koschützki |
| title_short | Cool: A control flow generator for system analysis |
| title_sort | cool a control flow generator for system analysis |
| topic | Flowgraphs System analysis Transaction systems (Computer systems) Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Flowgraphs System analysis Transaction systems (Computer systems) Informatik Theoretische Informatik Mathematik |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT braunvolker coolacontrolflowgeneratorforsystemanalysis AT knoopjens coolacontrolflowgeneratorforsystemanalysis AT koschutzkidirk coolacontrolflowgeneratorforsystemanalysis |