Generating language based environment:
This thesis concerns the design of interactive, language-based programming environments that use knowledge of a programming language to provide functions based on the structure and meaning of programs. The goal of the research is a system-constructor to enable editors for different languages to be c...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Ithaca, New York
1982
|
| Schriftenreihe: | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report
514 |
| Schlagworte: | |
| Zusammenfassung: | This thesis concerns the design of interactive, language-based programming environments that use knowledge of a programming language to provide functions based on the structure and meaning of programs. The goal of the research is a system-constructor to enable editors for different languages to be created easily The most challenging aspect of such a system is the design of the semantic component, because a language-based editor performs static semantic analysis when a program is altered in order to detect erroneous constructions or to prevent illegal modifications. For efficiency, this should be performed incrementally, re-using as much old information as possible; therefore, a major focus of my research concerns a model of editing for which it is possible to perform incremental semantic analysis efficiently In this model, a program is represented as an attributed tree in which all attributes have consistent values; programs are modified by tree operations such as pruning, grafting, and deriving. After each modification, some of the attributes require new values; incremental semantic analysis is performed by updating attribute values to again make them all consistent. The thesis presents several algorithms for this process that are asymptotically optimal in time |
| Beschreibung: | Zugl.: Ithaca, NY, Cornell Univ., Diss. |
| Beschreibung: | 173 Sp. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010583612 | ||
| 003 | DE-604 | ||
| 005 | 19970310 | ||
| 007 | t | ||
| 008 | 960124s1982 m||| 00||| engod | ||
| 035 | |a (OCoLC)10216421 | ||
| 035 | |a (DE-599)BVBBV010583612 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 082 | 0 | |a 510.7845 |b R422g | |
| 084 | |a DAT 332d |2 stub | ||
| 100 | 1 | |a Reps, Thomas W. |d 1956- |e Verfasser |0 (DE-588)115274812 |4 aut | |
| 245 | 1 | 0 | |a Generating language based environment |c Thomas Reps |
| 264 | 1 | |a Ithaca, New York |c 1982 | |
| 300 | |a 173 Sp. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cornell University <Ithaca, NY> / Department of Computer Science: Technical report |v 514 | |
| 500 | |a Zugl.: Ithaca, NY, Cornell Univ., Diss. | ||
| 520 | 3 | |a This thesis concerns the design of interactive, language-based programming environments that use knowledge of a programming language to provide functions based on the structure and meaning of programs. The goal of the research is a system-constructor to enable editors for different languages to be created easily | |
| 520 | 3 | |a The most challenging aspect of such a system is the design of the semantic component, because a language-based editor performs static semantic analysis when a program is altered in order to detect erroneous constructions or to prevent illegal modifications. For efficiency, this should be performed incrementally, re-using as much old information as possible; therefore, a major focus of my research concerns a model of editing for which it is possible to perform incremental semantic analysis efficiently | |
| 520 | 3 | |a In this model, a program is represented as an attributed tree in which all attributes have consistent values; programs are modified by tree operations such as pruning, grafting, and deriving. After each modification, some of the attributes require new values; incremental semantic analysis is performed by updating attribute values to again make them all consistent. The thesis presents several algorithms for this process that are asymptotically optimal in time | |
| 650 | 4 | |a Computer programs | |
| 650 | 4 | |a Synthesizer Generator (Computer system) | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 810 | 2 | |a Department of Computer Science: Technical report |t Cornell University <Ithaca, NY> |v 514 |w (DE-604)BV006185504 |9 514 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007056357 | ||
Datensatz im Suchindex
| _version_ | 1804125053095247872 |
|---|---|
| any_adam_object | |
| author | Reps, Thomas W. 1956- |
| author_GND | (DE-588)115274812 |
| author_facet | Reps, Thomas W. 1956- |
| author_role | aut |
| author_sort | Reps, Thomas W. 1956- |
| author_variant | t w r tw twr |
| building | Verbundindex |
| bvnumber | BV010583612 |
| classification_tum | DAT 332d |
| ctrlnum | (OCoLC)10216421 (DE-599)BVBBV010583612 |
| dewey-full | 510.7845 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.7845 |
| dewey-search | 510.7845 |
| dewey-sort | 3510.7845 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02501nam a2200373 cb4500</leader><controlfield tag="001">BV010583612</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970310 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960124s1982 m||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)10216421</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010583612</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-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.7845</subfield><subfield code="b">R422g</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 332d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Reps, Thomas W.</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115274812</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generating language based environment</subfield><subfield code="c">Thomas Reps</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Ithaca, New York</subfield><subfield code="c">1982</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">173 Sp.</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">Cornell University <Ithaca, NY> / Department of Computer Science: Technical report</subfield><subfield code="v">514</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Ithaca, NY, Cornell Univ., Diss.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This thesis concerns the design of interactive, language-based programming environments that use knowledge of a programming language to provide functions based on the structure and meaning of programs. The goal of the research is a system-constructor to enable editors for different languages to be created easily</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The most challenging aspect of such a system is the design of the semantic component, because a language-based editor performs static semantic analysis when a program is altered in order to detect erroneous constructions or to prevent illegal modifications. For efficiency, this should be performed incrementally, re-using as much old information as possible; therefore, a major focus of my research concerns a model of editing for which it is possible to perform incremental semantic analysis efficiently</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">In this model, a program is represented as an attributed tree in which all attributes have consistent values; programs are modified by tree operations such as pruning, grafting, and deriving. After each modification, some of the attributes require new values; incremental semantic analysis is performed by updating attribute values to again make them all consistent. The thesis presents several algorithms for this process that are asymptotically optimal in time</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Synthesizer Generator (Computer system)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">Cornell University <Ithaca, NY></subfield><subfield code="v">514</subfield><subfield code="w">(DE-604)BV006185504</subfield><subfield code="9">514</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007056357</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010583612 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:55:26Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007056357 |
| oclc_num | 10216421 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 173 Sp. |
| publishDate | 1982 |
| publishDateSearch | 1982 |
| publishDateSort | 1982 |
| record_format | marc |
| series2 | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report |
| spelling | Reps, Thomas W. 1956- Verfasser (DE-588)115274812 aut Generating language based environment Thomas Reps Ithaca, New York 1982 173 Sp. txt rdacontent n rdamedia nc rdacarrier Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 514 Zugl.: Ithaca, NY, Cornell Univ., Diss. This thesis concerns the design of interactive, language-based programming environments that use knowledge of a programming language to provide functions based on the structure and meaning of programs. The goal of the research is a system-constructor to enable editors for different languages to be created easily The most challenging aspect of such a system is the design of the semantic component, because a language-based editor performs static semantic analysis when a program is altered in order to detect erroneous constructions or to prevent illegal modifications. For efficiency, this should be performed incrementally, re-using as much old information as possible; therefore, a major focus of my research concerns a model of editing for which it is possible to perform incremental semantic analysis efficiently In this model, a program is represented as an attributed tree in which all attributes have consistent values; programs are modified by tree operations such as pruning, grafting, and deriving. After each modification, some of the attributes require new values; incremental semantic analysis is performed by updating attribute values to again make them all consistent. The thesis presents several algorithms for this process that are asymptotically optimal in time Computer programs Synthesizer Generator (Computer system) (DE-588)4113937-9 Hochschulschrift gnd-content Department of Computer Science: Technical report Cornell University <Ithaca, NY> 514 (DE-604)BV006185504 514 |
| spellingShingle | Reps, Thomas W. 1956- Generating language based environment Computer programs Synthesizer Generator (Computer system) |
| subject_GND | (DE-588)4113937-9 |
| title | Generating language based environment |
| title_auth | Generating language based environment |
| title_exact_search | Generating language based environment |
| title_full | Generating language based environment Thomas Reps |
| title_fullStr | Generating language based environment Thomas Reps |
| title_full_unstemmed | Generating language based environment Thomas Reps |
| title_short | Generating language based environment |
| title_sort | generating language based environment |
| topic | Computer programs Synthesizer Generator (Computer system) |
| topic_facet | Computer programs Synthesizer Generator (Computer system) Hochschulschrift |
| volume_link | (DE-604)BV006185504 |
| work_keys_str_mv | AT repsthomasw generatinglanguagebasedenvironment |