A meta-environment for generating programming environments:
Abstract: "Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and eff...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1990
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS
90,64 |
| Subjects: | |
| Online Access: | Volltext |
| Summary: | Abstract: "Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and efficiency of the generated environments, but only marginal attention has been paid to the development process of formal language definitions itself. Assuming that the quality of automatically generated environments will be satisfactory within a few years, the development costs of formal language definitions will very soon become the crucial factor determining the ultimate success and acceptance of environment generators In this paper we describe the design and implementation of a meta-environment (a development environment for formal language definitions) based on the formalism ASF+SDF. This meta-environment is currently being implemented as part of the Centaur system and is, at least partly, obtained by applying environment generation techniques to the language definition formalism itself. A central problem is providing fully interactive editing of modular language definitions such that modifications made to the language definition during editing can be translated immediately to modifications in the programming environment generated from the original language definition Therefore, some of the issues addressed are the treatment of formalisms with user-definable syntax, and incremental program generation techniques. |
| Physical Description: | 22 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974440 | ||
| 003 | DE-604 | ||
| 005 | 20220228 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24806982 | ||
| 035 | |a (DE-599)BVBBV008974440 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Klint, P. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A meta-environment for generating programming environments |c P. Klint |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 22 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,64 | |
| 520 | 3 | |a Abstract: "Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and efficiency of the generated environments, but only marginal attention has been paid to the development process of formal language definitions itself. Assuming that the quality of automatically generated environments will be satisfactory within a few years, the development costs of formal language definitions will very soon become the crucial factor determining the ultimate success and acceptance of environment generators | |
| 520 | 3 | |a In this paper we describe the design and implementation of a meta-environment (a development environment for formal language definitions) based on the formalism ASF+SDF. This meta-environment is currently being implemented as part of the Centaur system and is, at least partly, obtained by applying environment generation techniques to the language definition formalism itself. A central problem is providing fully interactive editing of modular language definitions such that modifications made to the language definition during editing can be translated immediately to modifications in the programming environment generated from the original language definition | |
| 520 | 3 | |a Therefore, some of the issues addressed are the treatment of formalisms with user-definable syntax, and incremental program generation techniques. | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Software engineering | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,64 |w (DE-604)BV008928356 |9 90,64 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5651 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005926014 | ||
Record in the Search Index
| _version_ | 1804123312480059392 |
|---|---|
| any_adam_object | |
| author | Klint, P. |
| author_facet | Klint, P. |
| author_role | aut |
| author_sort | Klint, P. |
| author_variant | p k pk |
| building | Verbundindex |
| bvnumber | BV008974440 |
| collection | ebook |
| ctrlnum | (OCoLC)24806982 (DE-599)BVBBV008974440 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02774nam a2200373 cb4500</leader><controlfield tag="001">BV008974440</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220228 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24806982</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974440</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><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Klint, P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A meta-environment for generating programming environments</subfield><subfield code="c">P. Klint</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 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">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,64</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and efficiency of the generated environments, but only marginal attention has been paid to the development process of formal language definitions itself. Assuming that the quality of automatically generated environments will be satisfactory within a few years, the development costs of formal language definitions will very soon become the crucial factor determining the ultimate success and acceptance of environment generators</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">In this paper we describe the design and implementation of a meta-environment (a development environment for formal language definitions) based on the formalism ASF+SDF. This meta-environment is currently being implemented as part of the Centaur system and is, at least partly, obtained by applying environment generation techniques to the language definition formalism itself. A central problem is providing fully interactive editing of modular language definitions such that modifications made to the language definition during editing can be translated immediately to modifications in the programming environment generated from the original language definition</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Therefore, some of the issues addressed are the treatment of formalisms with user-definable syntax, and incremental program generation techniques.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,64</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,64</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5651</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926014</subfield></datafield></record></collection> |
| id | DE-604.BV008974440 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005926014 |
| oclc_num | 24806982 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 22 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| spelling | Klint, P. Verfasser aut A meta-environment for generating programming environments P. Klint Amsterdam 1990 22 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,64 Abstract: "Over the last decade, considerable progress has been made in solving the problems of automatic generation of programming/development environments, given a formal definition of some programming or specification language. In most cases, research has focused on the functionality and efficiency of the generated environments, but only marginal attention has been paid to the development process of formal language definitions itself. Assuming that the quality of automatically generated environments will be satisfactory within a few years, the development costs of formal language definitions will very soon become the crucial factor determining the ultimate success and acceptance of environment generators In this paper we describe the design and implementation of a meta-environment (a development environment for formal language definitions) based on the formalism ASF+SDF. This meta-environment is currently being implemented as part of the Centaur system and is, at least partly, obtained by applying environment generation techniques to the language definition formalism itself. A central problem is providing fully interactive editing of modular language definitions such that modifications made to the language definition during editing can be translated immediately to modifications in the programming environment generated from the original language definition Therefore, some of the issues addressed are the treatment of formalisms with user-definable syntax, and incremental program generation techniques. Formal languages Programming languages (Electronic computers) Semantics Software engineering Erscheint auch als Online-Ausgabe Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,64 (DE-604)BV008928356 90,64 https://ir.cwi.nl/pub/5651 Verlag kostenfrei Volltext |
| spellingShingle | Klint, P. A meta-environment for generating programming environments Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS Formal languages Programming languages (Electronic computers) Semantics Software engineering |
| title | A meta-environment for generating programming environments |
| title_auth | A meta-environment for generating programming environments |
| title_exact_search | A meta-environment for generating programming environments |
| title_full | A meta-environment for generating programming environments P. Klint |
| title_fullStr | A meta-environment for generating programming environments P. Klint |
| title_full_unstemmed | A meta-environment for generating programming environments P. Klint |
| title_short | A meta-environment for generating programming environments |
| title_sort | a meta environment for generating programming environments |
| topic | Formal languages Programming languages (Electronic computers) Semantics Software engineering |
| topic_facet | Formal languages Programming languages (Electronic computers) Semantics Software engineering |
| url | https://ir.cwi.nl/pub/5651 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT klintp ametaenvironmentforgeneratingprogrammingenvironments |