An experimental reflective programming system written in GHC:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tokyo, Japan
1989
|
| Series: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
506 |
| Subjects: | |
| Abstract: | Abstract: "A programming system can be defined as an environment where one can input programs and execute goals. After describing two approaches, i.e., meta-extension and reflective-extension, for enhancing meta-interpreters, they are combined together and reflective operations on such meta-interpreters are discussed. Based on these meta-interpretation techniques, an experimental reflective programming system (ExReps) is described. The whole system consists of two layers, i.e., abstract machine layer and execution system layer, and both layers are totally written in parallel logic language GHC. Two examples of reflective programming, i.e., load balancing and dynamic reduction count control, are shown. An actual program execution example on ExReps is also shown." |
| Physical Description: | 18 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010948785 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 960913s1989 xx |||| 00||| engod | ||
| 035 | |a (OCoLC)22471317 | ||
| 035 | |a (DE-599)BVBBV010948785 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Tanaka, Jiro |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An experimental reflective programming system written in GHC |c by J. Tanak |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 18 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 506 | |
| 520 | 3 | |a Abstract: "A programming system can be defined as an environment where one can input programs and execute goals. After describing two approaches, i.e., meta-extension and reflective-extension, for enhancing meta-interpreters, they are combined together and reflective operations on such meta-interpreters are discussed. Based on these meta-interpretation techniques, an experimental reflective programming system (ExReps) is described. The whole system consists of two layers, i.e., abstract machine layer and execution system layer, and both layers are totally written in parallel logic language GHC. Two examples of reflective programming, i.e., load balancing and dynamic reduction count control, are shown. An actual program execution example on ExReps is also shown." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 506 |w (DE-604)BV010923438 |9 506 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007322774 | |
Record in the Search Index
| DE-BY-TUM_call_number | 0111 2001 B 6123-506 |
|---|---|
| DE-BY-TUM_katkey | 765341 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010278672 |
| _version_ | 1821938071310958592 |
| any_adam_object | |
| author | Tanaka, Jiro |
| author_facet | Tanaka, Jiro |
| author_role | aut |
| author_sort | Tanaka, Jiro |
| author_variant | j t jt |
| building | Verbundindex |
| bvnumber | BV010948785 |
| ctrlnum | (OCoLC)22471317 (DE-599)BVBBV010948785 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01757nam a2200301 cb4500</leader><controlfield tag="001">BV010948785</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960913s1989 xx |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22471317</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010948785</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">Tanaka, Jiro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An experimental reflective programming system written in GHC</subfield><subfield code="c">by J. Tanak</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">18 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">506</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A programming system can be defined as an environment where one can input programs and execute goals. After describing two approaches, i.e., meta-extension and reflective-extension, for enhancing meta-interpreters, they are combined together and reflective operations on such meta-interpreters are discussed. Based on these meta-interpretation techniques, an experimental reflective programming system (ExReps) is described. The whole system consists of two layers, i.e., abstract machine layer and execution system layer, and both layers are totally written in parallel logic language GHC. Two examples of reflective programming, i.e., load balancing and dynamic reduction count control, are shown. An actual program execution example on ExReps is also shown."</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="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">506</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">506</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007322774</subfield></datafield></record></collection> |
| id | DE-604.BV010948785 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:03:39Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007322774 |
| oclc_num | 22471317 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 18 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 | Tanaka, Jiro An experimental reflective programming system written in GHC Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Logic programming Parallel programming (Computer science) |
| title | An experimental reflective programming system written in GHC |
| title_auth | An experimental reflective programming system written in GHC |
| title_exact_search | An experimental reflective programming system written in GHC |
| title_full | An experimental reflective programming system written in GHC by J. Tanak |
| title_fullStr | An experimental reflective programming system written in GHC by J. Tanak |
| title_full_unstemmed | An experimental reflective programming system written in GHC by J. Tanak |
| title_short | An experimental reflective programming system written in GHC |
| title_sort | an experimental reflective programming system written in ghc |
| topic | Logic programming Parallel programming (Computer science) |
| topic_facet | Logic programming Parallel programming (Computer science) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT tanakajiro anexperimentalreflectiveprogrammingsystemwritteninghc |
Order paper/chapter scan
Branch Library Mathematics & Informatics, Reports
| Call Number: |
0111 2001 B 6123-506
Floor plan |
|---|---|
| Copy 1 | Available for loan On Shelf |