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: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011045822 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 961108s1995 xx |||| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007396841 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6034 |
|---|---|
| DE-BY-TUM_katkey | 774340 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020005914 |
| _version_ | 1820813023049154561 |
| 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>01978nam 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 xx |||| 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007396841</subfield></datafield></record></collection> |
| id | DE-604.BV011045822 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T14:21:41Z |
| 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 |
| 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 |