Structured specifications and implementation of nondeterministic data types:
Abstract: "The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types is introduced. Its semantics is given in terms of the existing formalisms of r...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
München
1995
|
| Series: | Technische Universität <München>: TUM-I
9442 |
| Subjects: | |
| Summary: | Abstract: "The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types is introduced. Its semantics is given in terms of the existing formalisms of relations, multialgebras, sets of functions and oracles by means of appropriate translation rules. Nondeterministic data refinement is studied from the syntactic and semantic perspective, and the correctness of the suggested proof obligations is proved. More general, the implementation relation and parameterisation of nondeterministic data types are discussed and the standard theorems of vertical and horizontal composition are generalized to the nondeterministic case." |
| Physical Description: | 28 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010382832 | ||
| 003 | DE-604 | ||
| 005 | 20171219 | ||
| 007 | t | ||
| 008 | 950913s1995 |||| 00||| eng d | ||
| 035 | |a (OCoLC)35519420 | ||
| 035 | |a (DE-599)BVBBV010382832 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-12 |a DE-91G |a DE-19 | ||
| 100 | 1 | |a Walicki, Michał |e Verfasser |0 (DE-588)1020226080 |4 aut | |
| 245 | 1 | 0 | |a Structured specifications and implementation of nondeterministic data types |c Michal Walicki ; Manfred Broy |
| 264 | 1 | |a München |c 1995 | |
| 300 | |a 28 S. | ||
| 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 9442 | |
| 520 | 3 | |a Abstract: "The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types is introduced. Its semantics is given in terms of the existing formalisms of relations, multialgebras, sets of functions and oracles by means of appropriate translation rules. Nondeterministic data refinement is studied from the syntactic and semantic perspective, and the correctness of the suggested proof obligations is proved. More general, the implementation relation and parameterisation of nondeterministic data types are discussed and the standard theorems of vertical and horizontal composition are generalized to the nondeterministic case." | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 700 | 1 | |a Broy, Manfred |d 1949- |e Verfasser |0 (DE-588)109602137 |4 aut | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9442 |w (DE-604)BV006185376 |9 9442 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006912593 | ||
Record in the Search Index
| _version_ | 1804124807440105472 |
|---|---|
| any_adam_object | |
| author | Walicki, Michał Broy, Manfred 1949- |
| author_GND | (DE-588)1020226080 (DE-588)109602137 |
| author_facet | Walicki, Michał Broy, Manfred 1949- |
| author_role | aut aut |
| author_sort | Walicki, Michał |
| author_variant | m w mw m b mb |
| building | Verbundindex |
| bvnumber | BV010382832 |
| ctrlnum | (OCoLC)35519420 (DE-599)BVBBV010382832 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01791nam a2200301 cb4500</leader><controlfield tag="001">BV010382832</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950913s1995 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35519420</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010382832</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Walicki, Michał</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1020226080</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Structured specifications and implementation of nondeterministic data types</subfield><subfield code="c">Michal Walicki ; Manfred Broy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">28 S.</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">9442</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types is introduced. Its semantics is given in terms of the existing formalisms of relations, multialgebras, sets of functions and oracles by means of appropriate translation rules. Nondeterministic data refinement is studied from the syntactic and semantic perspective, and the correctness of the suggested proof obligations is proved. More general, the implementation relation and parameterisation of nondeterministic data types are discussed and the standard theorems of vertical and horizontal composition are generalized to the nondeterministic case."</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">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="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9442</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9442</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006912593</subfield></datafield></record></collection> |
| id | DE-604.BV010382832 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:51:32Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006912593 |
| oclc_num | 35519420 |
| open_access_boolean | |
| owner | DE-29T DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| owner_facet | DE-29T DE-12 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| physical | 28 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Walicki, Michał Verfasser (DE-588)1020226080 aut Structured specifications and implementation of nondeterministic data types Michal Walicki ; Manfred Broy München 1995 28 S. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9442 Abstract: "The use of nondeterminism in specifications, as distinct from underspecification, is motivated by an example in the context of data refinement. A simple formalism for specifying nondeterministic data types is introduced. Its semantics is given in terms of the existing formalisms of relations, multialgebras, sets of functions and oracles by means of appropriate translation rules. Nondeterministic data refinement is studied from the syntactic and semantic perspective, and the correctness of the suggested proof obligations is proved. More general, the implementation relation and parameterisation of nondeterministic data types are discussed and the standard theorems of vertical and horizontal composition are generalized to the nondeterministic case." Abstract data types (Computer science) Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Technische Universität <München>: TUM-I 9442 (DE-604)BV006185376 9442 |
| spellingShingle | Walicki, Michał Broy, Manfred 1949- Structured specifications and implementation of nondeterministic data types Technische Universität <München>: TUM-I Abstract data types (Computer science) |
| title | Structured specifications and implementation of nondeterministic data types |
| title_auth | Structured specifications and implementation of nondeterministic data types |
| title_exact_search | Structured specifications and implementation of nondeterministic data types |
| title_full | Structured specifications and implementation of nondeterministic data types Michal Walicki ; Manfred Broy |
| title_fullStr | Structured specifications and implementation of nondeterministic data types Michal Walicki ; Manfred Broy |
| title_full_unstemmed | Structured specifications and implementation of nondeterministic data types Michal Walicki ; Manfred Broy |
| title_short | Structured specifications and implementation of nondeterministic data types |
| title_sort | structured specifications and implementation of nondeterministic data types |
| topic | Abstract data types (Computer science) |
| topic_facet | Abstract data types (Computer science) |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT walickimichał structuredspecificationsandimplementationofnondeterministicdatatypes AT broymanfred structuredspecificationsandimplementationofnondeterministicdatatypes |