Combining Prolog programs in a techniques editing system:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
636 |
| Schlagwörter: | |
| Abstract: | Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor." |
| Umfang: | 15 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010463470 | ||
| 003 | DE-604 | ||
| 005 | 19951106 | ||
| 007 | t| | ||
| 008 | 951106s1993 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)31073885 | ||
| 035 | |a (DE-599)BVBBV010463470 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.952 | |
| 100 | 1 | |a Vargas-Vera, María |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Combining Prolog programs in a techniques editing system |c Maria Vargas-Vera, Dave Robertson and Robert Inder |
| 264 | 1 | |a Edinburgh |c 1993 | |
| 300 | |a 15 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 636 | |
| 520 | 3 | |a Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor." | |
| 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 Robertson, Dave |e Verfasser |4 aut | |
| 700 | 1 | |a Inder, Robert |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Artificial Intelligence: DAI research paper |t University <Edinburgh> |v 636 |w (DE-604)BV010450646 |9 636 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006971854 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6034-636 |
|---|---|
| DE-BY-TUM_katkey | 664214 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010051511 |
| _version_ | 1821930933832384514 |
| any_adam_object | |
| author | Vargas-Vera, María Robertson, Dave Inder, Robert |
| author_facet | Vargas-Vera, María Robertson, Dave Inder, Robert |
| author_role | aut aut aut |
| author_sort | Vargas-Vera, María |
| author_variant | m v v mvv d r dr r i ri |
| building | Verbundindex |
| bvnumber | BV010463470 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.952 |
| callnumber-search | QA76.952 |
| callnumber-sort | QA 276.952 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)31073885 (DE-599)BVBBV010463470 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01860nam a2200349 cb4500</leader><controlfield tag="001">BV010463470</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951106 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951106s1993 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31073885</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010463470</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="050" ind1=" " ind2="0"><subfield code="a">QA76.952</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">Combining Prolog programs in a techniques editing system</subfield><subfield code="c">Maria Vargas-Vera, Dave Robertson and Robert Inder</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">15 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">636</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Techniques editing, as proposed by Sterling et al., allows Prolog programs to be constructed by initially selecting a 'skeleton' which determines the flow of control of the program, and then adding on top of this the extra features required by the program. This means that it is easy to obtain as an end-result of techniques editing not only the final program but also a history of its development, in terms of the skeleton and extensions used to build it. We describe how this program history information can be used to produce efficient combined programs from pairs of initial programs constructed independently by a techniques editor."</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">Robertson, Dave</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Inder, Robert</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">636</subfield><subfield code="w">(DE-604)BV010450646</subfield><subfield code="9">636</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006971854</subfield></datafield></record></collection> |
| id | DE-604.BV010463470 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T09:54:34Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006971854 |
| oclc_num | 31073885 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 15 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| record_format | marc |
| series2 | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper |
| spellingShingle | Vargas-Vera, María Robertson, Dave Inder, Robert Combining Prolog programs in a techniques editing system Bionics and artificial intelligence sigle Computer software sigle Prolog (Computer program language) |
| title | Combining Prolog programs in a techniques editing system |
| title_auth | Combining Prolog programs in a techniques editing system |
| title_exact_search | Combining Prolog programs in a techniques editing system |
| title_full | Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_fullStr | Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_full_unstemmed | Combining Prolog programs in a techniques editing system Maria Vargas-Vera, Dave Robertson and Robert Inder |
| title_short | Combining Prolog programs in a techniques editing system |
| title_sort | combining prolog programs in 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 combiningprologprogramsinatechniqueseditingsystem AT robertsondave combiningprologprogramsinatechniqueseditingsystem AT inderrobert combiningprologprogramsinatechniqueseditingsystem |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6034-636 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |