Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog:
Abstract: "This paper shows the equivalence of two semantics for a version of Concurrent Prolog with non-flat guards: an operational semantics based on a transition system and a denotational semantics which is a metric semantics (the domains are metric spaces). We do this in the following manne...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1988
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
88,34 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "This paper shows the equivalence of two semantics for a version of Concurrent Prolog with non-flat guards: an operational semantics based on a transition system and a denotational semantics which is a metric semantics (the domains are metric spaces). We do this in the following manner: First an uniform language [symbol] is considered, that is a language where the atomic actions have arbitrary interpretations. For this language we prove that a denotational semantics is correct with respect to the operational semantics. This result relies on Banach's fixed point theorem. Techniques stemming from imperative languages are used. Then we show how to translate a Concurrent Prolog program to a program in [symbol] by selecting certain basic sets for [symbol] and then instantiating the interpretation function for the atomic actions. In this way we induce the two semantics for Concurrent Prolog and the equivalence between the two semantics." |
| Beschreibung: | 24 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009245959 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1988 |||| 00||| eng d | ||
| 035 | |a (OCoLC)20988445 | ||
| 035 | |a (DE-599)BVBBV009245959 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Verfasser |0 (DE-588)1047965461 |4 aut | |
| 245 | 1 | 0 | |a Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog |c J. W. de Bakker, J. N. Kok |
| 264 | 1 | |a Amsterdam |c 1988 | |
| 300 | |a 24 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 88,34 | |
| 520 | 3 | |a Abstract: "This paper shows the equivalence of two semantics for a version of Concurrent Prolog with non-flat guards: an operational semantics based on a transition system and a denotational semantics which is a metric semantics (the domains are metric spaces). We do this in the following manner: First an uniform language [symbol] is considered, that is a language where the atomic actions have arbitrary interpretations. For this language we prove that a denotational semantics is correct with respect to the operational semantics. This result relies on Banach's fixed point theorem. Techniques stemming from imperative languages are used. Then we show how to translate a Concurrent Prolog program to a program in [symbol] by selecting certain basic sets for [symbol] and then instantiating the interpretation function for the atomic actions. In this way we induce the two semantics for Concurrent Prolog and the equivalence between the two semantics." | |
| 650 | 4 | |a Parallel programming (Electronic computers) | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 4 | |a Semantics | |
| 700 | 1 | |a Kok, Joost N. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 88,34 |w (DE-604)BV008928356 |9 88,34 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006152298 | ||
Datensatz im Suchindex
| _version_ | 1804123693226393600 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 Kok, Joost N. |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 Kok, Joost N. |
| author_role | aut aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb j n k jn jnk |
| building | Verbundindex |
| bvnumber | BV009245959 |
| ctrlnum | (OCoLC)20988445 (DE-599)BVBBV009245959 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02154nam a2200325 cb4500</leader><controlfield tag="001">BV009245959</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1988 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20988445</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009245959</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog</subfield><subfield code="c">J. W. de Bakker, J. N. Kok</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">24 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">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">88,34</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "This paper shows the equivalence of two semantics for a version of Concurrent Prolog with non-flat guards: an operational semantics based on a transition system and a denotational semantics which is a metric semantics (the domains are metric spaces). We do this in the following manner: First an uniform language [symbol] is considered, that is a language where the atomic actions have arbitrary interpretations. For this language we prove that a denotational semantics is correct with respect to the operational semantics. This result relies on Banach's fixed point theorem. Techniques stemming from imperative languages are used. Then we show how to translate a Concurrent Prolog program to a program in [symbol] by selecting certain basic sets for [symbol] and then instantiating the interpretation function for the atomic actions. In this way we induce the two semantics for Concurrent Prolog and the equivalence between the two semantics."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kok, Joost N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">88,34</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">88,34</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006152298</subfield></datafield></record></collection> |
| id | DE-604.BV009245959 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006152298 |
| oclc_num | 20988445 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 24 S. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Bakker, Jacobus W. de 1939-2012 Verfasser (DE-588)1047965461 aut Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog J. W. de Bakker, J. N. Kok Amsterdam 1988 24 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 88,34 Abstract: "This paper shows the equivalence of two semantics for a version of Concurrent Prolog with non-flat guards: an operational semantics based on a transition system and a denotational semantics which is a metric semantics (the domains are metric spaces). We do this in the following manner: First an uniform language [symbol] is considered, that is a language where the atomic actions have arbitrary interpretations. For this language we prove that a denotational semantics is correct with respect to the operational semantics. This result relies on Banach's fixed point theorem. Techniques stemming from imperative languages are used. Then we show how to translate a Concurrent Prolog program to a program in [symbol] by selecting certain basic sets for [symbol] and then instantiating the interpretation function for the atomic actions. In this way we induce the two semantics for Concurrent Prolog and the equivalence between the two semantics." Parallel programming (Electronic computers) Prolog (Computer program language) Semantics Kok, Joost N. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 88,34 (DE-604)BV008928356 88,34 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Kok, Joost N. Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog Parallel programming (Electronic computers) Prolog (Computer program language) Semantics |
| title | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog |
| title_auth | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog |
| title_exact_search | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog |
| title_full | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog J. W. de Bakker, J. N. Kok |
| title_fullStr | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog J. W. de Bakker, J. N. Kok |
| title_full_unstemmed | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog J. W. de Bakker, J. N. Kok |
| title_short | Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog |
| title_sort | uniform abstraction atomicity and contractions in the comparative semantics of concurrent prolog |
| topic | Parallel programming (Electronic computers) Prolog (Computer program language) Semantics |
| topic_facet | Parallel programming (Electronic computers) Prolog (Computer program language) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT bakkerjacobuswde uniformabstractionatomicityandcontractionsinthecomparativesemanticsofconcurrentprolog AT kokjoostn uniformabstractionatomicityandcontractionsinthecomparativesemanticsofconcurrentprolog |