Deriving an efficient production system by partial evaluation
Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1989
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
456 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010947130 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960912s1989 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)23004575 | ||
| 035 | |a (DE-599)BVBBV010947130 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Furukawa, Koichi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deriving an efficient production system by partial evaluation |c by K. Furukawa & H. Fujita |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 16 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 456 | |
| 520 | 3 | |a Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing various inference engines for knowledge based systems. However, nobody has succeeded in deriving an efficient production system (PS) through partial evaluation. This paper presents the derivation of an efficient PS by partially evaluating a simple PS interpreter, given a set of rules. The derived codes are shown to be very similar to the compiled codes given by [Shintani 88]." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Mathematical optimization | |
| 700 | 1 | |a Fujita, Hiroshi |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 456 |w (DE-604)BV010923438 |9 456 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007321353 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0111 2001 B 6123 |
|---|---|
| DE-BY-TUM_katkey | 765063 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010278387 |
| _version_ | 1820867063807213568 |
| any_adam_object | |
| author | Furukawa, Koichi Fujita, Hiroshi |
| author_facet | Furukawa, Koichi Fujita, Hiroshi |
| author_role | aut aut |
| author_sort | Furukawa, Koichi |
| author_variant | k f kf h f hf |
| building | Verbundindex |
| bvnumber | BV010947130 |
| ctrlnum | (OCoLC)23004575 (DE-599)BVBBV010947130 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01709nam a2200313 cb4500</leader><controlfield tag="001">BV010947130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960912s1989 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23004575</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010947130</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">Furukawa, Koichi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deriving an efficient production system by partial evaluation</subfield><subfield code="c">by K. Furukawa & H. Fujita</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">16 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">456</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A great deal of research has been done on applying partial evaluation for optimizing meta-programs in Prolog, such as a rule interpreter with a certainty factor, a bottom-up parser and a formula manipulation system. It has been claimed that the technique is very useful in developing various inference engines for knowledge based systems. However, nobody has succeeded in deriving an efficient production system (PS) through partial evaluation. This paper presents the derivation of an efficient PS by partially evaluating a simple PS interpreter, given a set of rules. The derived codes are shown to be very similar to the compiled codes given by [Shintani 88]."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical optimization</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fujita, Hiroshi</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">456</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">456</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007321353</subfield></datafield></record></collection> |
| id | DE-604.BV010947130 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T14:17:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007321353 |
| oclc_num | 23004575 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 16 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 |
| spellingShingle | Furukawa, Koichi Fujita, Hiroshi Deriving an efficient production system by partial evaluation Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Mathematical optimization |
| title | Deriving an efficient production system by partial evaluation |
| title_auth | Deriving an efficient production system by partial evaluation |
| title_exact_search | Deriving an efficient production system by partial evaluation |
| title_full | Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita |
| title_fullStr | Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita |
| title_full_unstemmed | Deriving an efficient production system by partial evaluation by K. Furukawa & H. Fujita |
| title_short | Deriving an efficient production system by partial evaluation |
| title_sort | deriving an efficient production system by partial evaluation |
| topic | Logic programming Mathematical optimization |
| topic_facet | Logic programming Mathematical optimization |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT furukawakoichi derivinganefficientproductionsystembypartialevaluation AT fujitahiroshi derivinganefficientproductionsystembypartialevaluation |