A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes:
Abstract: "A declarative semantics of a concurrent programming language based on Horn logic such as Flat GHC is presented. The domain of input/output (I/O) histories is introduced. The model of a program is defined as a set of I/O histories. The notion of truth is redefined for goal clauses and...
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 memorandum
797 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "A declarative semantics of a concurrent programming language based on Horn logic such as Flat GHC is presented. The domain of input/output (I/O) histories is introduced. The model of a program is defined as a set of I/O histories. The notion of truth is redefined for goal clauses and sets of guarded clauses. The semantics of a program is defined as the maximum model of the program. We also show that the semantics is characterized as the greatest fixpoint of the function obtained from the program. The properties of programs which contain perpetual computation controlled by guard-commit mechanisms can be discussed using the semantics." |
| Beschreibung: | 16 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010972247 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 960926s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)21951970 | ||
| 035 | |a (DE-599)BVBBV010972247 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Murakami, Masaki |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes |c by M. Murakami |
| 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 memorandum |v 797 | |
| 520 | 3 | |a Abstract: "A declarative semantics of a concurrent programming language based on Horn logic such as Flat GHC is presented. The domain of input/output (I/O) histories is introduced. The model of a program is defined as a set of I/O histories. The notion of truth is redefined for goal clauses and sets of guarded clauses. The semantics of a program is defined as the maximum model of the program. We also show that the semantics is characterized as the greatest fixpoint of the function obtained from the program. The properties of programs which contain perpetual computation controlled by guard-commit mechanisms can be discussed using the semantics." | |
| 650 | 4 | |a Horn clauses | |
| 650 | 4 | |a Logic programming | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |v 797 |w (DE-604)BV010943497 |9 797 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007341714 | ||
Datensatz im Suchindex
| _version_ | 1804125460346437632 |
|---|---|
| any_adam_object | |
| author | Murakami, Masaki |
| author_facet | Murakami, Masaki |
| author_role | aut |
| author_sort | Murakami, Masaki |
| author_variant | m m mm |
| building | Verbundindex |
| bvnumber | BV010972247 |
| ctrlnum | (OCoLC)21951970 (DE-599)BVBBV010972247 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01650nam a2200301 cb4500</leader><controlfield tag="001">BV010972247</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960926s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21951970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010972247</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">Murakami, Masaki</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes</subfield><subfield code="c">by M. Murakami</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 memorandum</subfield><subfield code="v">797</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A declarative semantics of a concurrent programming language based on Horn logic such as Flat GHC is presented. The domain of input/output (I/O) histories is introduced. The model of a program is defined as a set of I/O histories. The notion of truth is redefined for goal clauses and sets of guarded clauses. The semantics of a program is defined as the maximum model of the program. We also show that the semantics is characterized as the greatest fixpoint of the function obtained from the program. The properties of programs which contain perpetual computation controlled by guard-commit mechanisms can be discussed using the semantics."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Horn clauses</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">797</subfield><subfield code="w">(DE-604)BV010943497</subfield><subfield code="9">797</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007341714</subfield></datafield></record></collection> |
| id | DE-604.BV010972247 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:55Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007341714 |
| oclc_num | 21951970 |
| 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 memorandum |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum |
| spelling | Murakami, Masaki Verfasser aut A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes by M. Murakami Tokyo, Japan 1989 16 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 797 Abstract: "A declarative semantics of a concurrent programming language based on Horn logic such as Flat GHC is presented. The domain of input/output (I/O) histories is introduced. The model of a program is defined as a set of I/O histories. The notion of truth is redefined for goal clauses and sets of guarded clauses. The semantics of a program is defined as the maximum model of the program. We also show that the semantics is characterized as the greatest fixpoint of the function obtained from the program. The properties of programs which contain perpetual computation controlled by guard-commit mechanisms can be discussed using the semantics." Horn clauses Logic programming Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 797 (DE-604)BV010943497 797 |
| spellingShingle | Murakami, Masaki A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum Horn clauses Logic programming |
| title | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes |
| title_auth | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes |
| title_exact_search | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes |
| title_full | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes by M. Murakami |
| title_fullStr | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes by M. Murakami |
| title_full_unstemmed | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes by M. Murakami |
| title_short | A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes |
| title_sort | a declarative semantics of flat guarded horn clauses programs with perpetual processes |
| topic | Horn clauses Logic programming |
| topic_facet | Horn clauses Logic programming |
| volume_link | (DE-604)BV010943497 |
| work_keys_str_mv | AT murakamimasaki adeclarativesemanticsofflatguardedhornclausesprogramswithperpetualprocesses |