Nondeterministic algebraic specifications:
Abstract: "This thesis is concerned with the generalization of the algebraic specification technique to the case of nondeterministic operations. For this purpose, heterogeneous algebras are generalized to so-called multi-algebras where the operations are set-valued. As a specification language...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
1991
|
| Schriftenreihe: | Technische Universität <München>: TUM
9104 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This thesis is concerned with the generalization of the algebraic specification technique to the case of nondeterministic operations. For this purpose, heterogeneous algebras are generalized to so-called multi-algebras where the operations are set-valued. As a specification language for such algebras general (i.e. non-confluent) term rewriting systems are used instead of equations. Classical results for equational specifications are transferred to the nondeterministic case, provided the specifications are built on top of a deterministic basis in a particularly simple and useful manner The way of integrating important additional concepts into the more general framework is examined, with respect to: partial operations, hierarchical specifications and conditional equations (resp. term rewriting systems). The new specification technique is applied to a number of examples from different areas of computer science. It turns out that existing software tools for term rewriting (in particular the RAP system) can be applied to this more general class of specifications. |
| Beschreibung: | Zugl.: Passau, Univ., Diss., 1988 |
| Beschreibung: | Getr. Zählung |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008979196 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 m||| 00||| eng d | ||
| 035 | |a (OCoLC)27860136 | ||
| 035 | |a (DE-599)BVBBV008979196 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Hußmann, Heinrich |d 1959-2022 |e Verfasser |0 (DE-588)122824547 |4 aut | |
| 245 | 1 | 0 | |a Nondeterministic algebraic specifications |c Heinrich Hussmann |
| 264 | 1 | |a München |c 1991 | |
| 300 | |a Getr. Zählung | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM |v 9104 | |
| 500 | |a Zugl.: Passau, Univ., Diss., 1988 | ||
| 520 | 3 | |a Abstract: "This thesis is concerned with the generalization of the algebraic specification technique to the case of nondeterministic operations. For this purpose, heterogeneous algebras are generalized to so-called multi-algebras where the operations are set-valued. As a specification language for such algebras general (i.e. non-confluent) term rewriting systems are used instead of equations. Classical results for equational specifications are transferred to the nondeterministic case, provided the specifications are built on top of a deterministic basis in a particularly simple and useful manner | |
| 520 | 3 | |a The way of integrating important additional concepts into the more general framework is examined, with respect to: partial operations, hierarchical specifications and conditional equations (resp. term rewriting systems). The new specification technique is applied to a number of examples from different areas of computer science. It turns out that existing software tools for term rewriting (in particular the RAP system) can be applied to this more general class of specifications. | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Rewriting systems (Computer science) | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtdeterminismus |0 (DE-588)4315152-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | 1 | |a Nichtdeterminismus |0 (DE-588)4315152-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | 1 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 830 | 0 | |a Technische Universität <München>: TUM |v 9104 |w (DE-604)BV006185376 |9 9104 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005929946 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804123317935800320 |
|---|---|
| any_adam_object | |
| author | Hußmann, Heinrich 1959-2022 |
| author_GND | (DE-588)122824547 |
| author_facet | Hußmann, Heinrich 1959-2022 |
| author_role | aut |
| author_sort | Hußmann, Heinrich 1959-2022 |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV008979196 |
| ctrlnum | (OCoLC)27860136 (DE-599)BVBBV008979196 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02740nam a2200457 cb4500</leader><controlfield tag="001">BV008979196</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27860136</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008979196</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hußmann, Heinrich</subfield><subfield code="d">1959-2022</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122824547</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Nondeterministic algebraic specifications</subfield><subfield code="c">Heinrich Hussmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Getr. Zählung</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</subfield><subfield code="v">9104</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Passau, Univ., Diss., 1988</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This thesis is concerned with the generalization of the algebraic specification technique to the case of nondeterministic operations. For this purpose, heterogeneous algebras are generalized to so-called multi-algebras where the operations are set-valued. As a specification language for such algebras general (i.e. non-confluent) term rewriting systems are used instead of equations. Classical results for equational specifications are transferred to the nondeterministic case, provided the specifications are built on top of a deterministic basis in a particularly simple and useful manner</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The way of integrating important additional concepts into the more general framework is examined, with respect to: partial operations, hierarchical specifications and conditional equations (resp. term rewriting systems). The new specification technique is applied to a number of examples from different areas of computer science. It turns out that existing software tools for term rewriting (in particular the RAP system) can be applied to this more general class of specifications.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rewriting systems (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtdeterminismus</subfield><subfield code="0">(DE-588)4315152-8</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Nichtdeterminismus</subfield><subfield code="0">(DE-588)4315152-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM</subfield><subfield code="v">9104</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9104</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005929946</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> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV008979196 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:51Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005929946 |
| oclc_num | 27860136 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | Getr. Zählung |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Technische Universität <München>: TUM |
| series2 | Technische Universität <München>: TUM |
| spelling | Hußmann, Heinrich 1959-2022 Verfasser (DE-588)122824547 aut Nondeterministic algebraic specifications Heinrich Hussmann München 1991 Getr. Zählung txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM 9104 Zugl.: Passau, Univ., Diss., 1988 Abstract: "This thesis is concerned with the generalization of the algebraic specification technique to the case of nondeterministic operations. For this purpose, heterogeneous algebras are generalized to so-called multi-algebras where the operations are set-valued. As a specification language for such algebras general (i.e. non-confluent) term rewriting systems are used instead of equations. Classical results for equational specifications are transferred to the nondeterministic case, provided the specifications are built on top of a deterministic basis in a particularly simple and useful manner The way of integrating important additional concepts into the more general framework is examined, with respect to: partial operations, hierarchical specifications and conditional equations (resp. term rewriting systems). The new specification technique is applied to a number of examples from different areas of computer science. It turns out that existing software tools for term rewriting (in particular the RAP system) can be applied to this more general class of specifications. Algebra Rewriting systems (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Nichtdeterminismus (DE-588)4315152-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Algebraische Spezifikation (DE-588)4207192-6 s Nichtdeterminismus (DE-588)4315152-8 s DE-604 Termersetzungssystem (DE-588)4117189-5 s 1\p DE-604 Technische Universität <München>: TUM 9104 (DE-604)BV006185376 9104 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hußmann, Heinrich 1959-2022 Nondeterministic algebraic specifications Technische Universität <München>: TUM Algebra Rewriting systems (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd Nichtdeterminismus (DE-588)4315152-8 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4117189-5 (DE-588)4315152-8 (DE-588)4113937-9 |
| title | Nondeterministic algebraic specifications |
| title_auth | Nondeterministic algebraic specifications |
| title_exact_search | Nondeterministic algebraic specifications |
| title_full | Nondeterministic algebraic specifications Heinrich Hussmann |
| title_fullStr | Nondeterministic algebraic specifications Heinrich Hussmann |
| title_full_unstemmed | Nondeterministic algebraic specifications Heinrich Hussmann |
| title_short | Nondeterministic algebraic specifications |
| title_sort | nondeterministic algebraic specifications |
| topic | Algebra Rewriting systems (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd Nichtdeterminismus (DE-588)4315152-8 gnd |
| topic_facet | Algebra Rewriting systems (Computer science) Algebraische Spezifikation Termersetzungssystem Nichtdeterminismus Hochschulschrift |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT hußmannheinrich nondeterministicalgebraicspecifications |