GHC program diagnosis using atom behavior:
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 c...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1990
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
550 |
| Subjects: | |
| Summary: | 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. |
| Physical Description: | 28 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010949194 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960913s1990 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007323127 | ||
Record in the Search Index
| _version_ | 1804125436149497856 |
|---|---|
| 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>01994nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007323127</subfield></datafield></record></collection> |
| id | DE-604.BV010949194 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:31Z |
| 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 |
| spelling | Ueno, Machi Verfasser aut GHC program diagnosis using atom behavior by M. Ueno & T. Kanamori Tokyo, Japan 1990 28 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 550 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. Computer programs Horn clauses Logic programming Kanamori, Tadashi Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 550 (DE-604)BV010923438 550 |
| 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 |