Building large-scale Prolog programs using a techniques editing system:
Abstract: "We describe an integrated environment which addresses three distinct aspects of Large-Scale Prolog Programs: the formalization of the programming practices one should use in order to build reliable and maintainable programs, the computer-aided use of these practices to develop progra...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
635 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We describe an integrated environment which addresses three distinct aspects of Large-Scale Prolog Programs: the formalization of the programming practices one should use in order to build reliable and maintainable programs, the computer-aided use of these practices to develop programs, and the combination of these programs into more sophisticated and efficient programs. We also propose the use of program histories (i.e. , the information of how programs were developed using a techniques- based editor) to improve the process of program combination." |
| Beschreibung: | 14 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010463436 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 951106s1993 |||| 00||| engod | ||
| 035 | |a (OCoLC)31073881 | ||
| 035 | |a (DE-599)BVBBV010463436 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Vargas-Vera, María |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Building large-scale Prolog programs using a techniques editing system |c Maria Vargas-Vera, Wamberto Vasconcelos and Dave Robertson |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 14 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 635 | |
| 520 | 3 | |a Abstract: "We describe an integrated environment which addresses three distinct aspects of Large-Scale Prolog Programs: the formalization of the programming practices one should use in order to build reliable and maintainable programs, the computer-aided use of these practices to develop programs, and the combination of these programs into more sophisticated and efficient programs. We also propose the use of program histories (i.e. , the information of how programs were developed using a techniques- based editor) to improve the process of program combination." | |
| 650 | 7 | |a Bionics and artificial intelligence |2 sigle | |
| 650 | 7 | |a Computer software |2 sigle | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Vasconcelos, Wamberto |e Verfasser |4 aut | |
| 700 | 1 | |a Robertson, Dave |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 635 |w (DE-604)BV010450646 |9 635 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006971822 | ||
Datensatz im Suchindex
| _version_ | 1804124895408291840 |
|---|---|
| any_adam_object | |
| author | Vargas-Vera, María Vasconcelos, Wamberto Robertson, Dave |
| author_facet | Vargas-Vera, María Vasconcelos, Wamberto Robertson, Dave |
| author_role | aut aut aut |
| author_sort | Vargas-Vera, María |
| author_variant | m v v mvv w v wv d r dr |
| building | Verbundindex |
| bvnumber | BV010463436 |
| ctrlnum | (OCoLC)31073881 (DE-599)BVBBV010463436 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01781nam a2200337 cb4500</leader><controlfield tag="001">BV010463436</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951106s1993 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31073881</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010463436</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">Vargas-Vera, María</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Building large-scale Prolog programs using a techniques editing system</subfield><subfield code="c">Maria Vargas-Vera, Wamberto Vasconcelos and Dave Robertson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Edinburgh</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">14 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">635</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We describe an integrated environment which addresses three distinct aspects of Large-Scale Prolog Programs: the formalization of the programming practices one should use in order to build reliable and maintainable programs, the computer-aided use of these practices to develop programs, and the combination of these programs into more sophisticated and efficient programs. We also propose the use of program histories (i.e. , the information of how programs were developed using a techniques- based editor) to improve the process of program combination."</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bionics and artificial intelligence</subfield><subfield code="2">sigle</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">Prolog (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vasconcelos, Wamberto</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Robertson, Dave</subfield><subfield code="e">Verfasser</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">635</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">635</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006971822</subfield></datafield></record></collection> |
| id | DE-604.BV010463436 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:52:56Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006971822 |
| oclc_num | 31073881 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 14 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spelling | Vargas-Vera, María Verfasser aut Building large-scale Prolog programs using a techniques editing system Maria Vargas-Vera, Wamberto Vasconcelos and Dave Robertson Edinburgh 1993 14 S. txt rdacontent n rdamedia nc rdacarrier University <Edinburgh> / Department of Artificial Intelligence: DAI research paper 635 Abstract: "We describe an integrated environment which addresses three distinct aspects of Large-Scale Prolog Programs: the formalization of the programming practices one should use in order to build reliable and maintainable programs, the computer-aided use of these practices to develop programs, and the combination of these programs into more sophisticated and efficient programs. We also propose the use of program histories (i.e. , the information of how programs were developed using a techniques- based editor) to improve the process of program combination." Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) Vasconcelos, Wamberto Verfasser aut Robertson, Dave Verfasser aut Department of Artificial Intelligence: DAI research paper University <Edinburgh> 635 (DE-604)BV010450646 635 |
| spellingShingle | Vargas-Vera, María Vasconcelos, Wamberto Robertson, Dave Building large-scale Prolog programs using a techniques editing system Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) |
| title | Building large-scale Prolog programs using a techniques editing system |
| title_auth | Building large-scale Prolog programs using a techniques editing system |
| title_exact_search | Building large-scale Prolog programs using a techniques editing system |
| title_full | Building large-scale Prolog programs using a techniques editing system Maria Vargas-Vera, Wamberto Vasconcelos and Dave Robertson |
| title_fullStr | Building large-scale Prolog programs using a techniques editing system Maria Vargas-Vera, Wamberto Vasconcelos and Dave Robertson |
| title_full_unstemmed | Building large-scale Prolog programs using a techniques editing system Maria Vargas-Vera, Wamberto Vasconcelos and Dave Robertson |
| title_short | Building large-scale Prolog programs using a techniques editing system |
| title_sort | building large scale prolog programs using a techniques editing system |
| topic | Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) |
| topic_facet | Bionics and artificial intelligence Computer software Prolog (Computer program language) |
| volume_link | (DE-604)BV010450646 |
| work_keys_str_mv | AT vargasveramaria buildinglargescaleprologprogramsusingatechniqueseditingsystem AT vasconceloswamberto buildinglargescaleprologprogramsusingatechniqueseditingsystem AT robertsondave buildinglargescaleprologprogramsusingatechniqueseditingsystem |