GHC program diagnosis using atom behavior:
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Tokyo, Japan
1990
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
550 |
| Schlagwörter: | |
| Abstract: | Abstract: "This paper presents a diagnosis algorithm for flat GHC programs. The diagnosis algorithm finds two types of bugs (wrong clause instance and wrong suspension atom) by comparing an aspect of actual computation with that of the intended one. Roughly speaking, the aspect abstracted and compared here, called an atom behavior, is a set of pairs (A[sigma], A[tao]) such that atom A[sigma] can be instantiated to atom A[tao] when A[sigma] is executed as far as possible along a given course of computation. What behavior of GHC programs is incorrect and what bug is responsible for the incorrect behavior are explained based on this notion. Then, the diagnosis algorithm for GHC programs is presented Human programmers just need to answer 'Yes/No' to the queries which the diagnosis system asks them while tracing the abstracted computation process in a top-down manner. The power and the implementation of the algorithm are discussed as well. |
| Umfang: | 28 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010949194 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960913s1990 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)25298104 | ||
| 035 | |a (DE-599)BVBBV010949194 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Ueno, Machi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a GHC program diagnosis using atom behavior |c by M. Ueno & T. Kanamori |
| 264 | 1 | |a Tokyo, Japan |c 1990 | |
| 300 | |a 28 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 550 | |
| 520 | 3 | |a Abstract: "This paper presents a diagnosis algorithm for flat GHC programs. The diagnosis algorithm finds two types of bugs (wrong clause instance and wrong suspension atom) by comparing an aspect of actual computation with that of the intended one. Roughly speaking, the aspect abstracted and compared here, called an atom behavior, is a set of pairs (A[sigma], A[tao]) such that atom A[sigma] can be instantiated to atom A[tao] when A[sigma] is executed as far as possible along a given course of computation. What behavior of GHC programs is incorrect and what bug is responsible for the incorrect behavior are explained based on this notion. Then, the diagnosis algorithm for GHC programs is presented | |
| 520 | 3 | |a Human programmers just need to answer 'Yes/No' to the queries which the diagnosis system asks them while tracing the abstracted computation process in a top-down manner. The power and the implementation of the algorithm are discussed as well. | |
| 650 | 4 | |a Computer programs | |
| 650 | 4 | |a Horn clauses | |
| 650 | 4 | |a Logic programming | |
| 700 | 1 | |a Kanamori, Tadashi |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 550 |w (DE-604)BV010923438 |9 550 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007323127 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6123-550 |
|---|---|
| DE-BY-TUM_katkey | 765396 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010305450 |
| _version_ | 1821938071319347200 |
| any_adam_object | |
| author | Ueno, Machi Kanamori, Tadashi |
| author_facet | Ueno, Machi Kanamori, Tadashi |
| author_role | aut aut |
| author_sort | Ueno, Machi |
| author_variant | m u mu t k tk |
| building | Verbundindex |
| bvnumber | BV010949194 |
| ctrlnum | (OCoLC)25298104 (DE-599)BVBBV010949194 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01995nam a2200337 cb4500</leader><controlfield tag="001">BV010949194</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960913s1990 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25298104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010949194</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">Ueno, Machi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">GHC program diagnosis using atom behavior</subfield><subfield code="c">by M. Ueno & T. Kanamori</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">28 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">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">550</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper presents a diagnosis algorithm for flat GHC programs. The diagnosis algorithm finds two types of bugs (wrong clause instance and wrong suspension atom) by comparing an aspect of actual computation with that of the intended one. Roughly speaking, the aspect abstracted and compared here, called an atom behavior, is a set of pairs (A[sigma], A[tao]) such that atom A[sigma] can be instantiated to atom A[tao] when A[sigma] is executed as far as possible along a given course of computation. What behavior of GHC programs is incorrect and what bug is responsible for the incorrect behavior are explained based on this notion. Then, the diagnosis algorithm for GHC programs is presented</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Human programmers just need to answer 'Yes/No' to the queries which the diagnosis system asks them while tracing the abstracted computation process in a top-down manner. The power and the implementation of the algorithm are discussed as well.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Horn clauses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kanamori, Tadashi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">550</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">550</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007323127</subfield></datafield></record></collection> |
| id | DE-604.BV010949194 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:03:40Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007323127 |
| oclc_num | 25298104 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 28 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spellingShingle | Ueno, Machi Kanamori, Tadashi GHC program diagnosis using atom behavior Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Computer programs Horn clauses Logic programming |
| title | GHC program diagnosis using atom behavior |
| title_auth | GHC program diagnosis using atom behavior |
| title_exact_search | GHC program diagnosis using atom behavior |
| title_full | GHC program diagnosis using atom behavior by M. Ueno & T. Kanamori |
| title_fullStr | GHC program diagnosis using atom behavior by M. Ueno & T. Kanamori |
| title_full_unstemmed | GHC program diagnosis using atom behavior by M. Ueno & T. Kanamori |
| title_short | GHC program diagnosis using atom behavior |
| title_sort | ghc program diagnosis using atom behavior |
| topic | Computer programs Horn clauses Logic programming |
| topic_facet | Computer programs Horn clauses Logic programming |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT uenomachi ghcprogramdiagnosisusingatombehavior AT kanamoritadashi ghcprogramdiagnosisusingatombehavior |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik, Berichte
| Signatur: |
0111 2001 B 6123-550 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |