Dynamic abstract data types based on algebraic graph transformations:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
Berlin
1994
|
| Schriftenreihe: | Technische Universität <Berlin> / Fachbereich Informatik: Bericht
1994,37 |
| Schlagwörter: | |
| Abstract: | Abstract: "The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well- known concept of abstract data types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract data types. In this paper we consider a specific kind of dynamic abstract data types where the transformations are defined by rules in the sense of algebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases." |
| Umfang: | 18 Bl. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010126106 | ||
| 003 | DE-604 | ||
| 005 | 19950711 | ||
| 007 | t| | ||
| 008 | 950327s1994 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 943775191 |2 DE-101 | |
| 035 | |a (OCoLC)33219310 | ||
| 035 | |a (DE-599)BVBBV010126106 | ||
| 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 Ehrig, Hartmut |d 1944-2016 |e Verfasser |0 (DE-588)107905582 |4 aut | |
| 245 | 1 | 0 | |a Dynamic abstract data types based on algebraic graph transformations |c Hartmut Ehrig ; Michael Löwe ; Fernando Orejas |
| 264 | 1 | |a Berlin |c 1994 | |
| 300 | |a 18 Bl. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <Berlin> / Fachbereich Informatik: Bericht |v 1994,37 | |
| 520 | 3 | |a Abstract: "The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well- known concept of abstract data types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract data types. In this paper we consider a specific kind of dynamic abstract data types where the transformations are defined by rules in the sense of algebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases." | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 700 | 1 | |a Löwe, Michael |e Verfasser |4 aut | |
| 700 | 1 | |a Orejas, Fernando |e Verfasser |4 aut | |
| 810 | 2 | |a Fachbereich Informatik: Bericht |t Technische Universität <Berlin> |v 1994,37 |w (DE-604)BV000001083 |9 1994,37 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006724655 | |
Datensatz im Suchindex
| _version_ | 1818952317627531264 |
|---|---|
| any_adam_object | |
| author | Ehrig, Hartmut 1944-2016 Löwe, Michael Orejas, Fernando |
| author_GND | (DE-588)107905582 |
| author_facet | Ehrig, Hartmut 1944-2016 Löwe, Michael Orejas, Fernando |
| author_role | aut aut aut |
| author_sort | Ehrig, Hartmut 1944-2016 |
| author_variant | h e he m l ml f o fo |
| building | Verbundindex |
| bvnumber | BV010126106 |
| ctrlnum | (OCoLC)33219310 (DE-599)BVBBV010126106 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02109nam a2200337 cb4500</leader><controlfield tag="001">BV010126106</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950711 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950327s1994 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943775191</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33219310</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010126106</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">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dynamic abstract data types based on algebraic graph transformations</subfield><subfield code="c">Hartmut Ehrig ; Michael Löwe ; Fernando Orejas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 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">Technische Universität <Berlin> / Fachbereich Informatik: Bericht</subfield><subfield code="v">1994,37</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well- known concept of abstract data types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract data types. In this paper we consider a specific kind of dynamic abstract data types where the transformations are defined by rules in the sense of algebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Löwe, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Orejas, Fernando</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik: Bericht</subfield><subfield code="t">Technische Universität <Berlin></subfield><subfield code="v">1994,37</subfield><subfield code="w">(DE-604)BV000001083</subfield><subfield code="9">1994,37</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006724655</subfield></datafield></record></collection> |
| id | DE-604.BV010126106 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T09:48:28Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006724655 |
| oclc_num | 33219310 |
| open_access_boolean | |
| owner | DE-12 DE-83 DE-188 |
| owner_facet | DE-12 DE-83 DE-188 |
| physical | 18 Bl. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Technische Universität <Berlin> / Fachbereich Informatik: Bericht |
| spelling | Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut Dynamic abstract data types based on algebraic graph transformations Hartmut Ehrig ; Michael Löwe ; Fernando Orejas Berlin 1994 18 Bl. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <Berlin> / Fachbereich Informatik: Bericht 1994,37 Abstract: "The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well- known concept of abstract data types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract data types. In this paper we consider a specific kind of dynamic abstract data types where the transformations are defined by rules in the sense of algebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases." Abstract data types (Computer science) Löwe, Michael Verfasser aut Orejas, Fernando Verfasser aut Fachbereich Informatik: Bericht Technische Universität <Berlin> 1994,37 (DE-604)BV000001083 1994,37 |
| spellingShingle | Ehrig, Hartmut 1944-2016 Löwe, Michael Orejas, Fernando Dynamic abstract data types based on algebraic graph transformations Abstract data types (Computer science) |
| title | Dynamic abstract data types based on algebraic graph transformations |
| title_auth | Dynamic abstract data types based on algebraic graph transformations |
| title_exact_search | Dynamic abstract data types based on algebraic graph transformations |
| title_full | Dynamic abstract data types based on algebraic graph transformations Hartmut Ehrig ; Michael Löwe ; Fernando Orejas |
| title_fullStr | Dynamic abstract data types based on algebraic graph transformations Hartmut Ehrig ; Michael Löwe ; Fernando Orejas |
| title_full_unstemmed | Dynamic abstract data types based on algebraic graph transformations Hartmut Ehrig ; Michael Löwe ; Fernando Orejas |
| title_short | Dynamic abstract data types based on algebraic graph transformations |
| title_sort | dynamic abstract data types based on algebraic graph transformations |
| topic | Abstract data types (Computer science) |
| topic_facet | Abstract data types (Computer science) |
| volume_link | (DE-604)BV000001083 |
| work_keys_str_mv | AT ehrighartmut dynamicabstractdatatypesbasedonalgebraicgraphtransformations AT lowemichael dynamicabstractdatatypesbasedonalgebraicgraphtransformations AT orejasfernando dynamicabstractdatatypesbasedonalgebraicgraphtransformations |