An operational semantics for probabilistic concurrent constraint programming
The paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called "randomised algorithms" within the CCP framework. Differently from common approaches in (imperative) high level programming...
Uložené v:
| Vydané v: | Proceedings - International Conference on Computer Languages s. 174 - 183 |
|---|---|
| Hlavní autori: | , |
| Médium: | Konferenčný príspevok.. Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
1998
|
| Predmet: | |
| ISBN: | 9780818684548, 0818684542 |
| ISSN: | 1074-8970 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called "randomised algorithms" within the CCP framework. Differently from common approaches in (imperative) high level programming languages, which rely on some kind of random() function, we introduce randomness in the very definition of the language by means of a probabilistic choice construct. This allows a program to make stochastic moves during its execution. We call the resulting language probabilistic concurrent constraint programming (PCCP). We present an operational semantics for PCCP by means of a probabilistic transition system such that the execution of a PCCP program may be seen as a stochastic process, i.e. as a random walk on the transition graph. The transition probabilities are given explicitly. This semantics captures a notion of observables which combines results of computations and the probability of those results being computed. This embedding of randomness within the semantics of a well structured programming paradigm, like CCP, also aims at providing a sound framework for formalising and reasoning about randomised algorithms and programs. Additionally, we give some examples of PCCP programs and we show how well known randomised algorithms can be implemented very naturally in the new language. |
|---|---|
| AbstractList | The paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called "randomised algorithms" within the CCP framework. Differently from common approaches in (imperative) high level programming languages, which rely on some kind of random() function, we introduce randomness in the very definition of the language by means of a probabilistic choice construct. This allows a program to make stochastic moves during its execution. We call the resulting language probabilistic concurrent constraint programming (PCCP). We present an operational semantics for PCCP by means of a probabilistic transition system such that the execution of a PCCP program may be seen as a stochastic process, i.e. as a random walk on the transition graph. The transition probabilities are given explicitly. This semantics captures a notion of observables which combines results of computations and the probability of those results being computed. This embedding of randomness within the semantics of a well structured programming paradigm, like CCP, also aims at providing a sound framework for formalising and reasoning about randomised algorithms and programs. Additionally, we give some examples of PCCP programs and we show how well known randomised algorithms can be implemented very naturally in the new language. This paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so called `randomized algorithms' within the CCP framework. Differently from common approaches in (imperative) high-level programming languages, which rely on some kind of random() function, we introduce randomness in the very definition of the language by means of a probabilistic choice construct. This allows a program to make stochastic moves during its execution. We call the resulting language Probabilistic Concurrent Constraint Programming (PCCP). We present an operational semantics for PCCP by means of a probabilistic transition system such that the execution of a PCCP program may be seen as a stochastic process, i.e. as a random walk on the transition graph. The transition probabilities are given explicitly. This semantics captures a notion of observables which combines results of computations and the probability of those results being computed. This embedding of randomness within the semantics of a well structured programming paradigm, like CCP, also aims at providing a sound framework for formalizing and reasoning about randomized algorithms and programs. Additionally, we give some examples of PCCP programs and we show how well-known randomized algorithms can be implemented very naturally in the new language. |
| Author | Di Pierro, A. Wiklicky, H. |
| Author_xml | – sequence: 1 givenname: A. surname: Di Pierro fullname: Di Pierro, A. organization: Dept. of Comput. Sci., City Univ., London, UK – sequence: 2 givenname: H. surname: Wiklicky fullname: Wiklicky, H. |
| BookMark | eNotkD1rwzAYhAVNoUmavXTy1M2pZMv6GINp04ChS3bzRnoVVGwplZyh_74u6XTH8XAHtyKLEAMS8sToljGqXw9t222Z1morJGdC3ZGNlooqpoTiDVcLsmRU8lJpSR_IKucvSme8kUvS7UIRL5hg8jHAUGQcIUze5MLFVFxSPMHJDz7PUWFiMNeUMEx_Nk8J_Gxn5pxgHH04P5J7B0PGzb-uyfH97dh-lN3n_tDuutJXtJ5K1kjGuauYdkqDlhJFBUrU0koLDdeGWeuswUZwaAzUhiJTjkOtnOXC1mvycqudp7-vmKd-9NngMEDAeM19JWQlq7lwTZ5voEfE_pL8COmnv31U_wJJYV4x |
| ContentType | Conference Proceeding Journal Article |
| DBID | 6IE 6IH CBEJK RIE RIO 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1109/ICCL.1998.674168 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EndPage | 183 |
| ExternalDocumentID | 674168 |
| GroupedDBID | -~X 29O 6IE 6IH 6IK 6IL AAJGR AAWTH ACGFS ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IPLJI M43 OCL RIE RIL RIO RNS 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-i203t-157144f219f89a977e62a8637d7da549c1ddfdce564a5ca3c0e18f4a38fd46d3 |
| IEDL.DBID | RIE |
| ISBN | 9780818684548 0818684542 |
| ISICitedReferencesCount | 15 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000074225600017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1074-8970 |
| IngestDate | Thu Oct 02 11:07:45 EDT 2025 Tue Aug 26 17:22:29 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i203t-157144f219f89a977e62a8637d7da549c1ddfdce564a5ca3c0e18f4a38fd46d3 |
| Notes | SourceType-Scholarly Journals-2 ObjectType-Feature-2 ObjectType-Conference Paper-1 content type line 23 SourceType-Conference Papers & Proceedings-1 ObjectType-Article-3 |
| PQID | 26727286 |
| PQPubID | 23500 |
| PageCount | 10 |
| ParticipantIDs | proquest_miscellaneous_26727286 ieee_primary_674168 |
| PublicationCentury | 1900 |
| PublicationDate | 19980000 19980101 |
| PublicationDateYYYYMMDD | 1998-01-01 |
| PublicationDate_xml | – year: 1998 text: 19980000 |
| PublicationDecade | 1990 |
| PublicationTitle | Proceedings - International Conference on Computer Languages |
| PublicationTitleAbbrev | ICCL |
| PublicationYear | 1998 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0019957 ssj0000506953 |
| Score | 1.5058131 |
| Snippet | The paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate so... This paper investigates a probabilistic version of the concurrent constraint programming paradigm (CCP). The aim is to introduce the possibility to formulate... |
| SourceID | proquest ieee |
| SourceType | Aggregation Database Publisher |
| StartPage | 174 |
| SubjectTerms | Application software Computational geometry Computational modeling Computer languages Computer science Logic testing Mathematics Monte Carlo methods Simulated annealing Stochastic processes |
| Title | An operational semantics for probabilistic concurrent constraint programming |
| URI | https://ieeexplore.ieee.org/document/674168 https://www.proquest.com/docview/26727286 |
| WOSCitedRecordID | wos000074225600017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZoxQBLoRRRnh5Y0zqx48eIKiqQStWhQ7fI8UPqQFI1Kb8f20nKAAubI8tydLJ9j-_uOwCeY50n1qmtKBFJHhHLcnfnUhshQ6myJkHCBBLXBVsu-WYjVi3PdqiFMcaE5DMz8cOA5etSHXyobEq9-cB7oMcYa0q1juEUlCIaAKEWQBAikHyGdEMuGArUj54anqQkaYl3um_ewZdITN9ns4Wv4OOTZrO26cqvlzqon_ngXz9-AUY_ZXxwdVRQl-DEFEMw6Po4wPZaD8H5x5G7tboCi5cCljuzb6OEsHIzhZ-Czr6FvgFNIOX1_M7QOdOqIXjywyr0m6hhm_P16TYdgfX8dT17i9qeC9E2QbiO4pQ5F8u6d8xyIZ1xaGgiOcVMMy2dL6lira1WJqVEpkpihUzMLZGYW02oxtegX5SFuQEwzb2vgzBXiviyrDwmMkYYI5MySZkYg6EXVLZrWDWyRkZj8NQJOnMH3aMXsjDlocqSgBlzevvnujtw1lQL-uDIPejX-4N5AKfqq95W-8dwVr4BPEG5oQ |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwED7xkoClUECUpwfWtI5jO_aIKhCIUDF0YIscPyQG0qpp-f3YTloGWNgcWZajk-17fHffAdylpiLOq62ESFIl1OWVv3PMJdhyrp0lWNpI4lrkk4l4f5dvHc92rIWx1sbkMzsMw4jlm5lehVDZiAfzQWzDLqOUpG2x1iagghnmERLqIAQpI81nTDgUMseR_DGQw1NGSUe9s_4WawATy9HzeFyEGj4xbLfr2q78equjAnrs_evXj-D0p5APvW1U1DFs2boPvXUnB9Rd7D4cvm7YW5sTKO5rNJvbRRcnRI2fqcMU8hYuCi1oIi1vYHhG3p3WLcVTGDax48QSdVlfn37TU5g-PkzHT0nXdSH5IDhbJinLvZPl_EvmhFTePLScKMGz3ORGeW9Sp8Y4oy3jVDGtMo1tKhxVmXCGcpOdwU49q-05IFYFbwdnQmsaCrOqlKoUZxm2LFc8lwPoB0GV85ZXo2xlNIDbtaBLf9QDfqFqO1s1JYmoseAXf667hf2n6WtRFs-Tl0s4aGsHQ6jkCnaWi5W9hj39tfxoFjfx3HwDE4286A |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+1998+International+Conference+on+Computer+Languages+%28Cat.+No.98CB36225%29&rft.atitle=An+operational+semantics+for+probabilistic+concurrent+constraint+programming&rft.au=Di+Pierro%2C+A.&rft.au=Wiklicky%2C+H.&rft.date=1998-01-01&rft.pub=IEEE&rft.isbn=9780818684548&rft.issn=1074-8970&rft.spage=174&rft.epage=183&rft_id=info:doi/10.1109%2FICCL.1998.674168&rft.externalDocID=674168 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1074-8970&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1074-8970&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1074-8970&client=summon |