Programs are abstract data types
We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 403 |
|---|---|
| container_issue | |
| container_start_page | 400 |
| container_title | |
| container_volume | |
| creator | Erwig, M. |
| description | We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial for the design of update operations and their composition to know which properties they can preserve when they are applied to a program. The author argues in favor of the abstract data type view of programs, and presents a general framework in which different programming languages, update languages, and properties can be studied. |
| doi_str_mv | 10.1109/ASE.2001.989838 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_989838</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>989838</ieee_id><sourcerecordid>989838</sourcerecordid><originalsourceid>FETCH-LOGICAL-i172t-19346e8ef2d1541e9b4775f933f098b494655cf0e7d2d818a2b1703d183a27223</originalsourceid><addsrcrecordid>eNotj0tLAzEUhYMPcFq7FlzlD2S89-a9LKU-oFBBBXcl0yQyYrEk2fTfO1DP4ny783EYu0PoEcE_LN_WPQFg75130l2wjoySArWlSzYDa7xGRebzinXopRNKAtywRa3fMEVrN1XH-Gv5_SrhUHkoiYehthL2jcfQAm-nY6q37DqHn5oW_5yzj8f1--pZbLZPL6vlRoxoqYlJoUxyKVNErTD5QVmrs5cyg3eD8spovc-QbKTo0AUa0IKM6GQgSyTn7P68O6aUdscyHkI57c7f5B-VQj2z</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Programs are abstract data types</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Erwig, M.</creator><creatorcontrib>Erwig, M.</creatorcontrib><description>We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial for the design of update operations and their composition to know which properties they can preserve when they are applied to a program. The author argues in favor of the abstract data type view of programs, and presents a general framework in which different programming languages, update languages, and properties can be studied.</description><identifier>ISSN: 1938-4300</identifier><identifier>ISBN: 076951426X</identifier><identifier>ISBN: 9780769514260</identifier><identifier>EISSN: 2643-1572</identifier><identifier>DOI: 10.1109/ASE.2001.989838</identifier><language>eng</language><publisher>IEEE</publisher><subject>Calculus ; Computer languages ; Costs ; Error correction ; Pattern matching ; Program processors ; Programming profession ; Reactive power ; Software maintenance ; Synthesizers</subject><ispartof>Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001, p.400-403</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/989838$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/989838$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Erwig, M.</creatorcontrib><title>Programs are abstract data types</title><title>Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)</title><addtitle>ASE</addtitle><description>We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial for the design of update operations and their composition to know which properties they can preserve when they are applied to a program. The author argues in favor of the abstract data type view of programs, and presents a general framework in which different programming languages, update languages, and properties can be studied.</description><subject>Calculus</subject><subject>Computer languages</subject><subject>Costs</subject><subject>Error correction</subject><subject>Pattern matching</subject><subject>Program processors</subject><subject>Programming profession</subject><subject>Reactive power</subject><subject>Software maintenance</subject><subject>Synthesizers</subject><issn>1938-4300</issn><issn>2643-1572</issn><isbn>076951426X</isbn><isbn>9780769514260</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2001</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj0tLAzEUhYMPcFq7FlzlD2S89-a9LKU-oFBBBXcl0yQyYrEk2fTfO1DP4ny783EYu0PoEcE_LN_WPQFg75130l2wjoySArWlSzYDa7xGRebzinXopRNKAtywRa3fMEVrN1XH-Gv5_SrhUHkoiYehthL2jcfQAm-nY6q37DqHn5oW_5yzj8f1--pZbLZPL6vlRoxoqYlJoUxyKVNErTD5QVmrs5cyg3eD8spovc-QbKTo0AUa0IKM6GQgSyTn7P68O6aUdscyHkI57c7f5B-VQj2z</recordid><startdate>2001</startdate><enddate>2001</enddate><creator>Erwig, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2001</creationdate><title>Programs are abstract data types</title><author>Erwig, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i172t-19346e8ef2d1541e9b4775f933f098b494655cf0e7d2d818a2b1703d183a27223</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2001</creationdate><topic>Calculus</topic><topic>Computer languages</topic><topic>Costs</topic><topic>Error correction</topic><topic>Pattern matching</topic><topic>Program processors</topic><topic>Programming profession</topic><topic>Reactive power</topic><topic>Software maintenance</topic><topic>Synthesizers</topic><toplevel>online_resources</toplevel><creatorcontrib>Erwig, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE/IET Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Erwig, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Programs are abstract data types</atitle><btitle>Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)</btitle><stitle>ASE</stitle><date>2001</date><risdate>2001</risdate><spage>400</spage><epage>403</epage><pages>400-403</pages><issn>1938-4300</issn><eissn>2643-1572</eissn><isbn>076951426X</isbn><isbn>9780769514260</isbn><abstract>We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update operations into larger update programs that can be stored and reused. It is crucial for the design of update operations and their composition to know which properties they can preserve when they are applied to a program. The author argues in favor of the abstract data type view of programs, and presents a general framework in which different programming languages, update languages, and properties can be studied.</abstract><pub>IEEE</pub><doi>10.1109/ASE.2001.989838</doi><tpages>4</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1938-4300 |
| ispartof | Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001, p.400-403 |
| issn | 1938-4300 2643-1572 |
| language | eng |
| recordid | cdi_ieee_primary_989838 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Calculus Computer languages Costs Error correction Pattern matching Program processors Programming profession Reactive power Software maintenance Synthesizers |
| title | Programs are abstract data types |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T07%3A30%3A19IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Programs%20are%20abstract%20data%20types&rft.btitle=Proceedings%2016th%20Annual%20International%20Conference%20on%20Automated%20Software%20Engineering%20(ASE%202001)&rft.au=Erwig,%20M.&rft.date=2001&rft.spage=400&rft.epage=403&rft.pages=400-403&rft.issn=1938-4300&rft.eissn=2643-1572&rft.isbn=076951426X&rft.isbn_list=9780769514260&rft_id=info:doi/10.1109/ASE.2001.989838&rft_dat=%3Cieee_6IE%3E989838%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=989838&rfr_iscdi=true |