Abstract interpretation based on OLDT resolution:
Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on OLDT resolution, a top-down Prolog interpreter with memo-ization. A run-time property of Prolog goals can be analyzed by executing the goals using an interpreter that is obtained by abstr...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1991
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
619 |
| Subjects: | |
| Summary: | Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on OLDT resolution, a top-down Prolog interpreter with memo-ization. A run-time property of Prolog goals can be analyzed by executing the goals using an interpreter that is obtained by abstracting OLDT resolution according to the property. Due to the character of OLDT resolution, the execution neither enters a non- terminating computation loop nor wastes time working on goals irrelevant to the given top-level goals. In addition, the behavior of the abstract interpreter is very close to the way human programmers usually analyze the property in their mind The correctness and termination of the abstract interpreter are discussed as well. |
| Physical Description: | 28 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010953843 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960917s1991 |||| 00||| engod | ||
| 035 | |a (OCoLC)24995708 | ||
| 035 | |a (DE-599)BVBBV010953843 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Kanamori, Tadashi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Abstract interpretation based on OLDT resolution |c by T. Kanamori & T. Kawamura |
| 264 | 1 | |a Tokyo, Japan |c 1991 | |
| 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 619 | |
| 520 | 3 | |a Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on OLDT resolution, a top-down Prolog interpreter with memo-ization. A run-time property of Prolog goals can be analyzed by executing the goals using an interpreter that is obtained by abstracting OLDT resolution according to the property. Due to the character of OLDT resolution, the execution neither enters a non- terminating computation loop nor wastes time working on goals irrelevant to the given top-level goals. In addition, the behavior of the abstract interpreter is very close to the way human programmers usually analyze the property in their mind | |
| 520 | 3 | |a The correctness and termination of the abstract interpreter are discussed as well. | |
| 650 | 4 | |a Interpreters (Computer programs) | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Kawamura, Tadashi |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 619 |w (DE-604)BV010923438 |9 619 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007326277 | ||
Record in the Search Index
| _version_ | 1804125440703463424 |
|---|---|
| any_adam_object | |
| author | Kanamori, Tadashi Kawamura, Tadashi |
| author_facet | Kanamori, Tadashi Kawamura, Tadashi |
| author_role | aut aut |
| author_sort | Kanamori, Tadashi |
| author_variant | t k tk t k tk |
| building | Verbundindex |
| bvnumber | BV010953843 |
| ctrlnum | (OCoLC)24995708 (DE-599)BVBBV010953843 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01813nam a2200325 cb4500</leader><controlfield tag="001">BV010953843</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960917s1991 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24995708</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010953843</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">Kanamori, Tadashi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract interpretation based on OLDT resolution</subfield><subfield code="c">by T. Kanamori & T. Kawamura</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1991</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">619</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on OLDT resolution, a top-down Prolog interpreter with memo-ization. A run-time property of Prolog goals can be analyzed by executing the goals using an interpreter that is obtained by abstracting OLDT resolution according to the property. Due to the character of OLDT resolution, the execution neither enters a non- terminating computation loop nor wastes time working on goals irrelevant to the given top-level goals. In addition, the behavior of the abstract interpreter is very close to the way human programmers usually analyze the property in their mind</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The correctness and termination of the abstract interpreter are discussed as well.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Interpreters (Computer programs)</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">Kawamura, 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">619</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">619</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007326277</subfield></datafield></record></collection> |
| id | DE-604.BV010953843 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007326277 |
| oclc_num | 24995708 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 28 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| 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 | Kanamori, Tadashi Verfasser aut Abstract interpretation based on OLDT resolution by T. Kanamori & T. Kawamura Tokyo, Japan 1991 28 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 619 Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on OLDT resolution, a top-down Prolog interpreter with memo-ization. A run-time property of Prolog goals can be analyzed by executing the goals using an interpreter that is obtained by abstracting OLDT resolution according to the property. Due to the character of OLDT resolution, the execution neither enters a non- terminating computation loop nor wastes time working on goals irrelevant to the given top-level goals. In addition, the behavior of the abstract interpreter is very close to the way human programmers usually analyze the property in their mind The correctness and termination of the abstract interpreter are discussed as well. Interpreters (Computer programs) Prolog (Computer program language) Kawamura, Tadashi Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 619 (DE-604)BV010923438 619 |
| spellingShingle | Kanamori, Tadashi Kawamura, Tadashi Abstract interpretation based on OLDT resolution Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Interpreters (Computer programs) Prolog (Computer program language) |
| title | Abstract interpretation based on OLDT resolution |
| title_auth | Abstract interpretation based on OLDT resolution |
| title_exact_search | Abstract interpretation based on OLDT resolution |
| title_full | Abstract interpretation based on OLDT resolution by T. Kanamori & T. Kawamura |
| title_fullStr | Abstract interpretation based on OLDT resolution by T. Kanamori & T. Kawamura |
| title_full_unstemmed | Abstract interpretation based on OLDT resolution by T. Kanamori & T. Kawamura |
| title_short | Abstract interpretation based on OLDT resolution |
| title_sort | abstract interpretation based on oldt resolution |
| topic | Interpreters (Computer programs) Prolog (Computer program language) |
| topic_facet | Interpreters (Computer programs) Prolog (Computer program language) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT kanamoritadashi abstractinterpretationbasedonoldtresolution AT kawamuratadashi abstractinterpretationbasedonoldtresolution |