Semantic manipulation of program source:
Abstract: "Tool-assisted, semantically-based manipulation of program source benefits from a program representation that facilitates semantic queries, such as the Program Dependence Graph (PDG). However, if the manipulation requires, for instance, scoping information, or the result is to be sour...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Seattle, Wash.
1991
|
| Schriftenreihe: | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report
91,8,3 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Tool-assisted, semantically-based manipulation of program source benefits from a program representation that facilitates semantic queries, such as the Program Dependence Graph (PDG). However, if the manipulation requires, for instance, scoping information, or the result is to be source readable by humans, then information from other representations such as the Abstract Syntax Tree (AST) are also needed, requiring simultaneous, coordinated manipulation of multiple representations. This paper describes a model for meaning-preserving program transformation that aids correct and efficient manipulation of multiple program representations. The model is based on relating not only the data of the representations, but also the transformations on them An equation describes a global source transformation as a composition of local transformations related through relationships naturally represented in the PDG, and a set of PDG substitution rules is used to map the result to a meaning-preserving PDG transformation. The result, when successful, is that the source transformation's implementation is shown to preserve meaning. Additionally, the resulting PDG transformation can be applied efficiently to the PDG to keep it up-to-date with the source, allowing interactive use of the tool. The model has been successfully used to implement a prototype program restructuring tool for use in software maintenance. |
| Beschreibung: | 12 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009015562 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)28119357 | ||
| 035 | |a (DE-599)BVBBV009015562 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Griswold, William G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Semantic manipulation of program source |c William G. Griswold and David Notkin |
| 264 | 1 | |a Seattle, Wash. |c 1991 | |
| 300 | |a 12 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |v 91,8,3 | |
| 520 | 3 | |a Abstract: "Tool-assisted, semantically-based manipulation of program source benefits from a program representation that facilitates semantic queries, such as the Program Dependence Graph (PDG). However, if the manipulation requires, for instance, scoping information, or the result is to be source readable by humans, then information from other representations such as the Abstract Syntax Tree (AST) are also needed, requiring simultaneous, coordinated manipulation of multiple representations. This paper describes a model for meaning-preserving program transformation that aids correct and efficient manipulation of multiple program representations. The model is based on relating not only the data of the representations, but also the transformations on them | |
| 520 | 3 | |a An equation describes a global source transformation as a composition of local transformations related through relationships naturally represented in the PDG, and a set of PDG substitution rules is used to map the result to a meaning-preserving PDG transformation. The result, when successful, is that the source transformation's implementation is shown to preserve meaning. Additionally, the resulting PDG transformation can be applied efficiently to the PDG to keep it up-to-date with the source, allowing interactive use of the tool. The model has been successfully used to implement a prototype program restructuring tool for use in software maintenance. | |
| 650 | 4 | |a Software engineering | |
| 700 | 1 | |a Notkin, David |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Technical report |t University of Washington <Seattle, Wash.> |v 91,8,3 |w (DE-604)BV008930431 |9 91,8,3 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005961137 | ||
Datensatz im Suchindex
| _version_ | 1804123364858527744 |
|---|---|
| any_adam_object | |
| author | Griswold, William G. Notkin, David |
| author_facet | Griswold, William G. Notkin, David |
| author_role | aut aut |
| author_sort | Griswold, William G. |
| author_variant | w g g wg wgg d n dn |
| building | Verbundindex |
| bvnumber | BV009015562 |
| ctrlnum | (OCoLC)28119357 (DE-599)BVBBV009015562 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02464nam a2200313 cb4500</leader><controlfield tag="001">BV009015562</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28119357</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009015562</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">Griswold, William G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantic manipulation of program source</subfield><subfield code="c">William G. Griswold and David Notkin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Seattle, Wash.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">12 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">University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report</subfield><subfield code="v">91,8,3</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Tool-assisted, semantically-based manipulation of program source benefits from a program representation that facilitates semantic queries, such as the Program Dependence Graph (PDG). However, if the manipulation requires, for instance, scoping information, or the result is to be source readable by humans, then information from other representations such as the Abstract Syntax Tree (AST) are also needed, requiring simultaneous, coordinated manipulation of multiple representations. This paper describes a model for meaning-preserving program transformation that aids correct and efficient manipulation of multiple program representations. The model is based on relating not only the data of the representations, but also the transformations on them</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">An equation describes a global source transformation as a composition of local transformations related through relationships naturally represented in the PDG, and a set of PDG substitution rules is used to map the result to a meaning-preserving PDG transformation. The result, when successful, is that the source transformation's implementation is shown to preserve meaning. Additionally, the resulting PDG transformation can be applied efficiently to the PDG to keep it up-to-date with the source, allowing interactive use of the tool. The model has been successfully used to implement a prototype program restructuring tool for use in software maintenance.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Notkin, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">University of Washington <Seattle, Wash.></subfield><subfield code="v">91,8,3</subfield><subfield code="w">(DE-604)BV008930431</subfield><subfield code="9">91,8,3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005961137</subfield></datafield></record></collection> |
| id | DE-604.BV009015562 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005961137 |
| oclc_num | 28119357 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 12 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |
| spelling | Griswold, William G. Verfasser aut Semantic manipulation of program source William G. Griswold and David Notkin Seattle, Wash. 1991 12 S. txt rdacontent n rdamedia nc rdacarrier University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report 91,8,3 Abstract: "Tool-assisted, semantically-based manipulation of program source benefits from a program representation that facilitates semantic queries, such as the Program Dependence Graph (PDG). However, if the manipulation requires, for instance, scoping information, or the result is to be source readable by humans, then information from other representations such as the Abstract Syntax Tree (AST) are also needed, requiring simultaneous, coordinated manipulation of multiple representations. This paper describes a model for meaning-preserving program transformation that aids correct and efficient manipulation of multiple program representations. The model is based on relating not only the data of the representations, but also the transformations on them An equation describes a global source transformation as a composition of local transformations related through relationships naturally represented in the PDG, and a set of PDG substitution rules is used to map the result to a meaning-preserving PDG transformation. The result, when successful, is that the source transformation's implementation is shown to preserve meaning. Additionally, the resulting PDG transformation can be applied efficiently to the PDG to keep it up-to-date with the source, allowing interactive use of the tool. The model has been successfully used to implement a prototype program restructuring tool for use in software maintenance. Software engineering Notkin, David Verfasser aut Department of Computer Science: Technical report University of Washington <Seattle, Wash.> 91,8,3 (DE-604)BV008930431 91,8,3 |
| spellingShingle | Griswold, William G. Notkin, David Semantic manipulation of program source Software engineering |
| title | Semantic manipulation of program source |
| title_auth | Semantic manipulation of program source |
| title_exact_search | Semantic manipulation of program source |
| title_full | Semantic manipulation of program source William G. Griswold and David Notkin |
| title_fullStr | Semantic manipulation of program source William G. Griswold and David Notkin |
| title_full_unstemmed | Semantic manipulation of program source William G. Griswold and David Notkin |
| title_short | Semantic manipulation of program source |
| title_sort | semantic manipulation of program source |
| topic | Software engineering |
| topic_facet | Software engineering |
| volume_link | (DE-604)BV008930431 |
| work_keys_str_mv | AT griswoldwilliamg semanticmanipulationofprogramsource AT notkindavid semanticmanipulationofprogramsource |