A debugger for AND OR parallel logic programming language ANDOR-II:
Abstract: "This paper discusses a debugger for an AND/OR parallel logic programming language ANDOR-II. Debugging a parallel programming language is complicated and burdensome, since the user has to handle the computation on multiple worlds. We propose a method that selects a representative worl...
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
608 |
| Subjects: | |
| Summary: | Abstract: "This paper discusses a debugger for an AND/OR parallel logic programming language ANDOR-II. Debugging a parallel programming language is complicated and burdensome, since the user has to handle the computation on multiple worlds. We propose a method that selects a representative world and peels it from the multiple worlds. Computation of AND/OR-II in this single world is equivalent to that of committed-choice languages. Therefore, debugging in a single world is attributed to that of committed-choice languages. Although this method alleviates the burden in debugging, if we perform reasoning over the worlds, more effective bug location can be realized." |
| Physical Description: | 28 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010953470 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960917s1990 |||| 00||| engod | ||
| 035 | |a (OCoLC)26737705 | ||
| 035 | |a (DE-599)BVBBV010953470 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Takahashi, Kazuko |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A debugger for AND OR parallel logic programming language ANDOR-II |c by K. Takahashi & A. Takeuchi |
| 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 608 | |
| 520 | 3 | |a Abstract: "This paper discusses a debugger for an AND/OR parallel logic programming language ANDOR-II. Debugging a parallel programming language is complicated and burdensome, since the user has to handle the computation on multiple worlds. We propose a method that selects a representative world and peels it from the multiple worlds. Computation of AND/OR-II in this single world is equivalent to that of committed-choice languages. Therefore, debugging in a single world is attributed to that of committed-choice languages. Although this method alleviates the burden in debugging, if we perform reasoning over the worlds, more effective bug location can be realized." | |
| 650 | 4 | |a Debugging in computer science | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 700 | 1 | |a Takeuchi, Akikazu |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 608 |w (DE-604)BV010923438 |9 608 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007325962 | ||
Record in the Search Index
| _version_ | 1804125440292421632 |
|---|---|
| any_adam_object | |
| author | Takahashi, Kazuko Takeuchi, Akikazu |
| author_facet | Takahashi, Kazuko Takeuchi, Akikazu |
| author_role | aut aut |
| author_sort | Takahashi, Kazuko |
| author_variant | k t kt a t at |
| building | Verbundindex |
| bvnumber | BV010953470 |
| ctrlnum | (OCoLC)26737705 (DE-599)BVBBV010953470 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01779nam a2200325 cb4500</leader><controlfield tag="001">BV010953470</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1990 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26737705</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010953470</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">Takahashi, Kazuko</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A debugger for AND OR parallel logic programming language ANDOR-II</subfield><subfield code="c">by K. Takahashi & A. Takeuchi</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">608</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper discusses a debugger for an AND/OR parallel logic programming language ANDOR-II. Debugging a parallel programming language is complicated and burdensome, since the user has to handle the computation on multiple worlds. We propose a method that selects a representative world and peels it from the multiple worlds. Computation of AND/OR-II in this single world is equivalent to that of committed-choice languages. Therefore, debugging in a single world is attributed to that of committed-choice languages. Although this method alleviates the burden in debugging, if we perform reasoning over the worlds, more effective bug location can be realized."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Debugging in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Takeuchi, Akikazu</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">608</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">608</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007325962</subfield></datafield></record></collection> |
| id | DE-604.BV010953470 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:35Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007325962 |
| oclc_num | 26737705 |
| 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 | Takahashi, Kazuko Verfasser aut A debugger for AND OR parallel logic programming language ANDOR-II by K. Takahashi & A. Takeuchi Tokyo, Japan 1990 28 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 608 Abstract: "This paper discusses a debugger for an AND/OR parallel logic programming language ANDOR-II. Debugging a parallel programming language is complicated and burdensome, since the user has to handle the computation on multiple worlds. We propose a method that selects a representative world and peels it from the multiple worlds. Computation of AND/OR-II in this single world is equivalent to that of committed-choice languages. Therefore, debugging in a single world is attributed to that of committed-choice languages. Although this method alleviates the burden in debugging, if we perform reasoning over the worlds, more effective bug location can be realized." Debugging in computer science Logic programming Parallel programming (Computer science) Takeuchi, Akikazu Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 608 (DE-604)BV010923438 608 |
| spellingShingle | Takahashi, Kazuko Takeuchi, Akikazu A debugger for AND OR parallel logic programming language ANDOR-II Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Debugging in computer science Logic programming Parallel programming (Computer science) |
| title | A debugger for AND OR parallel logic programming language ANDOR-II |
| title_auth | A debugger for AND OR parallel logic programming language ANDOR-II |
| title_exact_search | A debugger for AND OR parallel logic programming language ANDOR-II |
| title_full | A debugger for AND OR parallel logic programming language ANDOR-II by K. Takahashi & A. Takeuchi |
| title_fullStr | A debugger for AND OR parallel logic programming language ANDOR-II by K. Takahashi & A. Takeuchi |
| title_full_unstemmed | A debugger for AND OR parallel logic programming language ANDOR-II by K. Takahashi & A. Takeuchi |
| title_short | A debugger for AND OR parallel logic programming language ANDOR-II |
| title_sort | a debugger for and or parallel logic programming language andor ii |
| topic | Debugging in computer science Logic programming Parallel programming (Computer science) |
| topic_facet | Debugging in computer science Logic programming Parallel programming (Computer science) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT takahashikazuko adebuggerforandorparallellogicprogramminglanguageandorii AT takeuchiakikazu adebuggerforandorparallellogicprogramminglanguageandorii |