Modeling group reflection in a simple concurrent constraint language:
Abstract: "We propose a reflective computation model CCR based on a simple concurrent constraint programming framework. Primitive communication in CCR is carried out by means of publishing primitive constraints, and a group reflection which allows concurrent execution of both object level and m...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1992
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum
1170 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We propose a reflective computation model CCR based on a simple concurrent constraint programming framework. Primitive communication in CCR is carried out by means of publishing primitive constraints, and a group reflection which allows concurrent execution of both object level and meta level computations is formalized. CCR does not depend on any hardware architectures and implementation issues to keep its generality and abstractness, and we give its operational semantics in terms of a transition system. Thus, in our framework, complex behaviors of concurrent systems could be model [sic] naturally and transparently." |
| Beschreibung: | 6 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010976236 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960927s1992 |||| 00||| engod | ||
| 035 | |a (OCoLC)27468853 | ||
| 035 | |a (DE-599)BVBBV010976236 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Sugano, Hiroyasu |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling group reflection in a simple concurrent constraint language |c by H. Sugano |
| 264 | 1 | |a Tokyo, Japan |c 1992 | |
| 300 | |a 6 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 memorandum |v 1170 | |
| 520 | 3 | |a Abstract: "We propose a reflective computation model CCR based on a simple concurrent constraint programming framework. Primitive communication in CCR is carried out by means of publishing primitive constraints, and a group reflection which allows concurrent execution of both object level and meta level computations is formalized. CCR does not depend on any hardware architectures and implementation issues to keep its generality and abstractness, and we give its operational semantics in terms of a transition system. Thus, in our framework, complex behaviors of concurrent systems could be model [sic] naturally and transparently." | |
| 650 | 4 | |a Concurrent programming | |
| 650 | 4 | |a Logic programming | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |v 1170 |w (DE-604)BV010943497 |9 1170 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007345053 | ||
Datensatz im Suchindex
| _version_ | 1804125464602607616 |
|---|---|
| any_adam_object | |
| author | Sugano, Hiroyasu |
| author_facet | Sugano, Hiroyasu |
| author_role | aut |
| author_sort | Sugano, Hiroyasu |
| author_variant | h s hs |
| building | Verbundindex |
| bvnumber | BV010976236 |
| ctrlnum | (OCoLC)27468853 (DE-599)BVBBV010976236 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01621nam a2200301 cb4500</leader><controlfield tag="001">BV010976236</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960927s1992 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27468853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010976236</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">Sugano, Hiroyasu</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling group reflection in a simple concurrent constraint language</subfield><subfield code="c">by H. Sugano</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">6 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 memorandum</subfield><subfield code="v">1170</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We propose a reflective computation model CCR based on a simple concurrent constraint programming framework. Primitive communication in CCR is carried out by means of publishing primitive constraints, and a group reflection which allows concurrent execution of both object level and meta level computations is formalized. CCR does not depend on any hardware architectures and implementation issues to keep its generality and abstractness, and we give its operational semantics in terms of a transition system. Thus, in our framework, complex behaviors of concurrent systems could be model [sic] naturally and transparently."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Concurrent programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum</subfield><subfield code="v">1170</subfield><subfield code="w">(DE-604)BV010943497</subfield><subfield code="9">1170</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007345053</subfield></datafield></record></collection> |
| id | DE-604.BV010976236 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007345053 |
| oclc_num | 27468853 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 6 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| spelling | Sugano, Hiroyasu Verfasser aut Modeling group reflection in a simple concurrent constraint language by H. Sugano Tokyo, Japan 1992 6 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 1170 Abstract: "We propose a reflective computation model CCR based on a simple concurrent constraint programming framework. Primitive communication in CCR is carried out by means of publishing primitive constraints, and a group reflection which allows concurrent execution of both object level and meta level computations is formalized. CCR does not depend on any hardware architectures and implementation issues to keep its generality and abstractness, and we give its operational semantics in terms of a transition system. Thus, in our framework, complex behaviors of concurrent systems could be model [sic] naturally and transparently." Concurrent programming Logic programming Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 1170 (DE-604)BV010943497 1170 |
| spellingShingle | Sugano, Hiroyasu Modeling group reflection in a simple concurrent constraint language Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum Concurrent programming Logic programming |
| title | Modeling group reflection in a simple concurrent constraint language |
| title_auth | Modeling group reflection in a simple concurrent constraint language |
| title_exact_search | Modeling group reflection in a simple concurrent constraint language |
| title_full | Modeling group reflection in a simple concurrent constraint language by H. Sugano |
| title_fullStr | Modeling group reflection in a simple concurrent constraint language by H. Sugano |
| title_full_unstemmed | Modeling group reflection in a simple concurrent constraint language by H. Sugano |
| title_short | Modeling group reflection in a simple concurrent constraint language |
| title_sort | modeling group reflection in a simple concurrent constraint language |
| topic | Concurrent programming Logic programming |
| topic_facet | Concurrent programming Logic programming |
| volume_link | (DE-604)BV010943497 |
| work_keys_str_mv | AT suganohiroyasu modelinggroupreflectioninasimpleconcurrentconstraintlanguage |