Logic program analysis by abstract hybrid interpretation:
Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on a hybrid of the top-down and the bottom-up interpretations of Prolog programs. An execution-time property of Prolog goals can be analyzed when the goals are executed using an interpretati...
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Tokyo, Japan
1989
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
485 |
| Subjects: | |
| Summary: | Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on a hybrid of the top-down and the bottom-up interpretations of Prolog programs. An execution-time property of Prolog goals can be analyzed when the goals are executed using an interpretation according to the property. Due to its hybrid character, the execution neither dives into infinite loop nor wastes time for irrelevant goals. In addition, the behaviour of the abstract hybrid interpreter is very close to the way human programmers usually analyze the property in their mind. Type inference, depth-abstracted term inference and mode inference are exemplified as the analysis of Prolog programs when different abstraction is employed." |
| Physical Description: | 44 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010948522 | ||
| 003 | DE-604 | ||
| 005 | 19961212 | ||
| 007 | t | ||
| 008 | 960913s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)22745083 | ||
| 035 | |a (DE-599)BVBBV010948522 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic program analysis by abstract hybrid interpretation |c by T. Kanamori |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 44 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 485 | |
| 520 | 3 | |a Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on a hybrid of the top-down and the bottom-up interpretations of Prolog programs. An execution-time property of Prolog goals can be analyzed when the goals are executed using an interpretation according to the property. Due to its hybrid character, the execution neither dives into infinite loop nor wastes time for irrelevant goals. In addition, the behaviour of the abstract hybrid interpreter is very close to the way human programmers usually analyze the property in their mind. Type inference, depth-abstracted term inference and mode inference are exemplified as the analysis of Prolog programs when different abstraction is employed." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 700 | 1 | |a Kanamori, Tadashi |e Sonstige |4 oth | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 485 |w (DE-604)BV010923438 |9 485 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007322556 | ||
Record in the Search Index
| _version_ | 1804125435397668864 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV010948522 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)22745083 (DE-599)BVBBV010948522 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01755nam a2200313 cb4500</leader><controlfield tag="001">BV010948522</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961212 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960913s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22745083</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010948522</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="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic program analysis by abstract hybrid interpretation</subfield><subfield code="c">by T. Kanamori</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">44 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">485</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 a hybrid of the top-down and the bottom-up interpretations of Prolog programs. An execution-time property of Prolog goals can be analyzed when the goals are executed using an interpretation according to the property. Due to its hybrid character, the execution neither dives into infinite loop nor wastes time for irrelevant goals. In addition, the behaviour of the abstract hybrid interpreter is very close to the way human programmers usually analyze the property in their mind. Type inference, depth-abstracted term inference and mode inference are exemplified as the analysis of Prolog programs when different abstraction is employed."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">Kanamori, Tadashi</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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">485</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">485</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007322556</subfield></datafield></record></collection> |
| id | DE-604.BV010948522 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:31Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007322556 |
| oclc_num | 22745083 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 44 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| 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 | Logic program analysis by abstract hybrid interpretation by T. Kanamori Tokyo, Japan 1989 44 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 485 Abstract: "This paper presents a unified framework for analyzing Prolog programs. The framework is based on a hybrid of the top-down and the bottom-up interpretations of Prolog programs. An execution-time property of Prolog goals can be analyzed when the goals are executed using an interpretation according to the property. Due to its hybrid character, the execution neither dives into infinite loop nor wastes time for irrelevant goals. In addition, the behaviour of the abstract hybrid interpreter is very close to the way human programmers usually analyze the property in their mind. Type inference, depth-abstracted term inference and mode inference are exemplified as the analysis of Prolog programs when different abstraction is employed." Logic programming Prolog (Computer program language) Kanamori, Tadashi Sonstige oth Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 485 (DE-604)BV010923438 485 |
| spellingShingle | Logic program analysis by abstract hybrid interpretation Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Prolog (Computer program language) |
| title | Logic program analysis by abstract hybrid interpretation |
| title_auth | Logic program analysis by abstract hybrid interpretation |
| title_exact_search | Logic program analysis by abstract hybrid interpretation |
| title_full | Logic program analysis by abstract hybrid interpretation by T. Kanamori |
| title_fullStr | Logic program analysis by abstract hybrid interpretation by T. Kanamori |
| title_full_unstemmed | Logic program analysis by abstract hybrid interpretation by T. Kanamori |
| title_short | Logic program analysis by abstract hybrid interpretation |
| title_sort | logic program analysis by abstract hybrid interpretation |
| topic | Logic programming Prolog (Computer program language) |
| topic_facet | Logic programming Prolog (Computer program language) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT kanamoritadashi logicprogramanalysisbyabstracthybridinterpretation |