An experimental reflective programming system written in GHC:
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-int...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Tokyo, Japan
1989
|
Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
506 |
Schlagworte: | |
Zusammenfassung: | 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." |
Beschreibung: | 18 S. |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV010948785 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 960913s1989 |||| 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 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-007322774 |
Datensatz im Suchindex
_version_ | 1804125435699658752 |
---|---|
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>01756nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007322774</subfield></datafield></record></collection> |
id | DE-604.BV010948785 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T18:01:31Z |
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 |
spelling | Tanaka, Jiro Verfasser aut An experimental reflective programming system written in GHC by J. Tanak Tokyo, Japan 1989 18 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 506 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." Logic programming Parallel programming (Computer science) Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 506 (DE-604)BV010923438 506 |
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 |