Prolog program development via enhanced schema based transformations:
Abstract: "We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descrip...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1995
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
776 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate definitions in an economical manner, allowing important features to be highlighted and irrelevant details to be disregarded. This formalisation of programming techniques is employed in the definition of a program development framework which supports the preparation of individual predicates, and additionally provides a supervising facility which checks inter-procedural relations for possible efficiency improvements." |
| Beschreibung: | 6 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011045822 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961108s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)37571988 | ||
| 035 | |a (DE-599)BVBBV011045822 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Vasconcelos, Wamberto |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Prolog program development via enhanced schema based transformations |c Vasconcelos, W. W. ; Fuchs, N. E. |
| 264 | 1 | |a Edinburgh |c 1995 | |
| 300 | |a 6 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |v 776 | |
| 520 | 3 | |a Abstract: "We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate definitions in an economical manner, allowing important features to be highlighted and irrelevant details to be disregarded. This formalisation of programming techniques is employed in the definition of a program development framework which supports the preparation of individual predicates, and additionally provides a supervising facility which checks inter-procedural relations for possible efficiency improvements." | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Computer programs | |
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Fuchs, Norbert E. |e Verfasser |0 (DE-588)135985218 |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 776 |w (DE-604)BV010450646 |9 776 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007396841 | ||
Datensatz im Suchindex
| _version_ | 1804125535521996800 |
|---|---|
| any_adam_object | |
| author | Vasconcelos, Wamberto Fuchs, Norbert E. |
| author_GND | (DE-588)135985218 |
| author_facet | Vasconcelos, Wamberto Fuchs, Norbert E. |
| author_role | aut aut |
| author_sort | Vasconcelos, Wamberto |
| author_variant | w v wv n e f ne nef |
| building | Verbundindex |
| bvnumber | BV011045822 |
| ctrlnum | (OCoLC)37571988 (DE-599)BVBBV011045822 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01977nam a2200349 cb4500</leader><controlfield tag="001">BV011045822</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961108s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37571988</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011045822</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="100" ind1="1" ind2=" "><subfield code="a">Vasconcelos, Wamberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Prolog program development via enhanced schema based transformations</subfield><subfield code="c">Vasconcelos, W. W. ; Fuchs, N. E.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">6 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 <Edinburgh> / Department of Artificial Intelligence: DAI research paper</subfield><subfield code="v">776</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate definitions in an economical manner, allowing important features to be highlighted and irrelevant details to be disregarded. This formalisation of programming techniques is employed in the definition of a program development framework which supports the preparation of individual predicates, and additionally provides a supervising facility which checks inter-procedural relations for possible efficiency improvements."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">sigle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fuchs, Norbert E.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135985218</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Artificial Intelligence: DAI research paper</subfield><subfield code="t">University <Edinburgh></subfield><subfield code="v">776</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">776</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007396841</subfield></datafield></record></collection> |
| id | DE-604.BV011045822 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:06Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007396841 |
| oclc_num | 37571988 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 6 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Vasconcelos, Wamberto Verfasser aut Prolog program development via enhanced schema based transformations Vasconcelos, W. W. ; Fuchs, N. E. Edinburgh 1995 6 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 776 Abstract: "We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a specific kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate definitions in an economical manner, allowing important features to be highlighted and irrelevant details to be disregarded. This formalisation of programming techniques is employed in the definition of a program development framework which supports the preparation of individual predicates, and additionally provides a supervising facility which checks inter-procedural relations for possible efficiency improvements." Computer software sigle Computer programs Computer software Development Logic programming Prolog (Computer program language) Fuchs, Norbert E. Verfasser (DE-588)135985218 aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 776 (DE-604)BV010450646 776 |
| spellingShingle | Vasconcelos, Wamberto Fuchs, Norbert E. Prolog program development via enhanced schema based transformations Computer software sigle Computer programs Computer software Development Logic programming Prolog (Computer program language) |
| title | Prolog program development via enhanced schema based transformations |
| title_auth | Prolog program development via enhanced schema based transformations |
| title_exact_search | Prolog program development via enhanced schema based transformations |
| title_full | Prolog program development via enhanced schema based transformations Vasconcelos, W. W. ; Fuchs, N. E. |
| title_fullStr | Prolog program development via enhanced schema based transformations Vasconcelos, W. W. ; Fuchs, N. E. |
| title_full_unstemmed | Prolog program development via enhanced schema based transformations Vasconcelos, W. W. ; Fuchs, N. E. |
| title_short | Prolog program development via enhanced schema based transformations |
| title_sort | prolog program development via enhanced schema based transformations |
| topic | Computer software sigle Computer programs Computer software Development Logic programming Prolog (Computer program language) |
| topic_facet | Computer software Computer programs Computer software Development Logic programming Prolog (Computer program language) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT vasconceloswamberto prologprogramdevelopmentviaenhancedschemabasedtransformations AT fuchsnorberte prologprogramdevelopmentviaenhancedschemabasedtransformations |