Examples for change of types and object structures

Examples for change of types and object structures

The abstract, algebraic definition of data types by describing their properties forms a solid formal basis for the specification of computation structures independent of their particular representations. Thus programs can be designed and developed working with objects of an abstractly defined comput...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Partsch, H., Broy, M.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Computation Structure
Congruence Relation
Function Symbol
Object Structure
Program Transformation
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 463
container_issue
container_start_page 421
container_title
container_volume
creator Partsch, H.
Broy, M.
description The abstract, algebraic definition of data types by describing their properties forms a solid formal basis for the specification of computation structures independent of their particular representations. Thus programs can be designed and developed working with objects of an abstractly defined computation structure. The choice of particular representations (implementations), the releasing of this representation to the "outer world" and the consequences on further program development are demonstrated with examples of joint refinement.
doi_str_mv 10.1007/BFb0014676
format Book Chapter
fullrecord <record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_BFb0014676</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>springer_books_10_1007_BFb0014676</sourcerecordid><originalsourceid>FETCH-LOGICAL-s1036-fb94db78d1e1e923459e73b7f8c5ebe709f1af59de8ce0c526201d46e0236bc73</originalsourceid><addsrcrecordid>eNpFkM1Lw0AUxNcvMNRc_Av26CX63r79yB61tCoUvOg5ZDdv1VqbkE1B_3sris5lYAaG4SfEOcIlArirm2UAQG2dPRCldzUZDWQIlT0UBVrEikj7o78OvDJIx6IAAlV5p-lUlDmvYS9SxoMthFp8tO_DhrNM_SjjS7t9ZtknOX0O-6zddrIPa46TzNO4i9Nu5HwmTlK7yVz--kw8LReP87tq9XB7P79eVRmBbJWC111wdYeM7BVp49lRcKmOhgM78AnbZHzHdWSIRlkF2GnLoMiG6GgmLn528zC-7m-NTej7t9wgNN84mn8c9AX9_0vn</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>Examples for change of types and object structures</title><source>Springer Books</source><creator>Partsch, H. ; Broy, M.</creator><contributor>Pair, C. ; Griffiths, M. ; Broy, Manfred ; Bauer, Friedrich L. ; Dijkstra, E. W. ; Owicki, S. S. ; Pepper, P. ; Gerhart, S. L. ; Gries, D. ; Wirsing, M. ; Guttag, J. V. ; Partsch, H. ; Wössner, H. ; Horning, J. J.</contributor><creatorcontrib>Partsch, H. ; Broy, M. ; Pair, C. ; Griffiths, M. ; Broy, Manfred ; Bauer, Friedrich L. ; Dijkstra, E. W. ; Owicki, S. S. ; Pepper, P. ; Gerhart, S. L. ; Gries, D. ; Wirsing, M. ; Guttag, J. V. ; Partsch, H. ; Wössner, H. ; Horning, J. J.</creatorcontrib><description>The abstract, algebraic definition of data types by describing their properties forms a solid formal basis for the specification of computation structures independent of their particular representations. Thus programs can be designed and developed working with objects of an abstractly defined computation structure. The choice of particular representations (implementations), the releasing of this representation to the "outer world" and the consequences on further program development are demonstrated with examples of joint refinement.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540092513</identifier><identifier>ISBN: 354009251X</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540353126</identifier><identifier>EISBN: 3540353127</identifier><identifier>DOI: 10.1007/BFb0014676</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Computation Structure ; Congruence Relation ; Function Symbol ; Object Structure ; Program Transformation</subject><ispartof>Program Construction, 2005, p.421-463</ispartof><rights>Springer-Verlag Berlin Heidelberg 1979</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0014676$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0014676$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>779,780,784,793,27925,38255,41442,42511</link.rule.ids></links><search><contributor>Pair, C.</contributor><contributor>Griffiths, M.</contributor><contributor>Broy, Manfred</contributor><contributor>Bauer, Friedrich L.</contributor><contributor>Dijkstra, E. W.</contributor><contributor>Owicki, S. S.</contributor><contributor>Pepper, P.</contributor><contributor>Gerhart, S. L.</contributor><contributor>Gries, D.</contributor><contributor>Wirsing, M.</contributor><contributor>Guttag, J. V.</contributor><contributor>Partsch, H.</contributor><contributor>Wössner, H.</contributor><contributor>Horning, J. J.</contributor><creatorcontrib>Partsch, H.</creatorcontrib><creatorcontrib>Broy, M.</creatorcontrib><title>Examples for change of types and object structures</title><title>Program Construction</title><description>The abstract, algebraic definition of data types by describing their properties forms a solid formal basis for the specification of computation structures independent of their particular representations. Thus programs can be designed and developed working with objects of an abstractly defined computation structure. The choice of particular representations (implementations), the releasing of this representation to the "outer world" and the consequences on further program development are demonstrated with examples of joint refinement.</description><subject>Computation Structure</subject><subject>Congruence Relation</subject><subject>Function Symbol</subject><subject>Object Structure</subject><subject>Program Transformation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540092513</isbn><isbn>354009251X</isbn><isbn>9783540353126</isbn><isbn>3540353127</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2005</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNpFkM1Lw0AUxNcvMNRc_Av26CX63r79yB61tCoUvOg5ZDdv1VqbkE1B_3sris5lYAaG4SfEOcIlArirm2UAQG2dPRCldzUZDWQIlT0UBVrEikj7o78OvDJIx6IAAlV5p-lUlDmvYS9SxoMthFp8tO_DhrNM_SjjS7t9ZtknOX0O-6zddrIPa46TzNO4i9Nu5HwmTlK7yVz--kw8LReP87tq9XB7P79eVRmBbJWC111wdYeM7BVp49lRcKmOhgM78AnbZHzHdWSIRlkF2GnLoMiG6GgmLn528zC-7m-NTej7t9wgNN84mn8c9AX9_0vn</recordid><startdate>20050609</startdate><enddate>20050609</enddate><creator>Partsch, H.</creator><creator>Broy, M.</creator><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>20050609</creationdate><title>Examples for change of types and object structures</title><author>Partsch, H. ; Broy, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-s1036-fb94db78d1e1e923459e73b7f8c5ebe709f1af59de8ce0c526201d46e0236bc73</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Computation Structure</topic><topic>Congruence Relation</topic><topic>Function Symbol</topic><topic>Object Structure</topic><topic>Program Transformation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Partsch, H.</creatorcontrib><creatorcontrib>Broy, M.</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Partsch, H.</au><au>Broy, M.</au><au>Pair, C.</au><au>Griffiths, M.</au><au>Broy, Manfred</au><au>Bauer, Friedrich L.</au><au>Dijkstra, E. W.</au><au>Owicki, S. S.</au><au>Pepper, P.</au><au>Gerhart, S. L.</au><au>Gries, D.</au><au>Wirsing, M.</au><au>Guttag, J. V.</au><au>Partsch, H.</au><au>Wössner, H.</au><au>Horning, J. J.</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Examples for change of types and object structures</atitle><btitle>Program Construction</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2005-06-09</date><risdate>2005</risdate><spage>421</spage><epage>463</epage><pages>421-463</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540092513</isbn><isbn>354009251X</isbn><eisbn>9783540353126</eisbn><eisbn>3540353127</eisbn><abstract>The abstract, algebraic definition of data types by describing their properties forms a solid formal basis for the specification of computation structures independent of their particular representations. Thus programs can be designed and developed working with objects of an abstractly defined computation structure. The choice of particular representations (implementations), the releasing of this representation to the "outer world" and the consequences on further program development are demonstrated with examples of joint refinement.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/BFb0014676</doi><tpages>43</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Program Construction, 2005, p.421-463
issn 0302-9743
1611-3349
language eng
recordid cdi_springer_books_10_1007_BFb0014676
source Springer Books
subjects Computation Structure
Congruence Relation
Function Symbol
Object Structure
Program Transformation
title Examples for change of types and object structures
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-18T17%3A13%3A39IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Examples%20for%20change%20of%20types%20and%20object%20structures&rft.btitle=Program%20Construction&rft.au=Partsch,%20H.&rft.date=2005-06-09&rft.spage=421&rft.epage=463&rft.pages=421-463&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540092513&rft.isbn_list=354009251X&rft_id=info:doi/10.1007/BFb0014676&rft_dat=%3Cspringer%3Espringer_books_10_1007_BFb0014676%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540353126&rft.eisbn_list=3540353127&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true