An Implementation of Bubbling
Non-determinism is of great importance in functional logic programming. It provides expressiveness and efficiency to functional logic computations. In this paper we describe an implementation of the multi-paradigm functional logic language Curry. The evaluation strategy employed by the implementatio...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Journal Article |
| Language: | English |
| Published: |
16-12-2011
|
| Subjects: | |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Non-determinism is of great importance in functional logic programming. It
provides expressiveness and efficiency to functional logic computations. In
this paper we describe an implementation of the multi-paradigm functional logic
language Curry. The evaluation strategy employed by the implementation is based
on definitional trees and needed narrowing for deterministic operations, while
non-deterministic operations will depend on the graph transformation, bubbling.
Bubbling preserves the completeness of non-deterministic operations and avoids
unnecessary large-scale reconstruction of expressions done by other approaches. |
|---|---|
| AbstractList | Non-determinism is of great importance in functional logic programming. It
provides expressiveness and efficiency to functional logic computations. In
this paper we describe an implementation of the multi-paradigm functional logic
language Curry. The evaluation strategy employed by the implementation is based
on definitional trees and needed narrowing for deterministic operations, while
non-deterministic operations will depend on the graph transformation, bubbling.
Bubbling preserves the completeness of non-deterministic operations and avoids
unnecessary large-scale reconstruction of expressions done by other approaches. |
| Author | Alqaddoumi, Abdulla Pontelli, Enrico |
| Author_xml | – sequence: 1 givenname: Abdulla surname: Alqaddoumi fullname: Alqaddoumi, Abdulla – sequence: 2 givenname: Enrico surname: Pontelli fullname: Pontelli, Enrico |
| BackLink | https://doi.org/10.48550/arXiv.1112.3789$$DView paper in arXiv |
| BookMark | eNotzjsPgjAUBeAOOvjaXTT8AZD2tlBGNT5ITFzcScttTRMoBB_Rf-_zLGc5OfmGpOcbbwiZ0jjiUoh4obqHu0eUUhZBKrMBmS19kNdtZWrjr-rqGh80NljdtK6cP49J36rqYib_HpHTdnNa78PDcZevl4dQJSILk3dKw5TgGhgicoM0gdJYi2jeC5QJQ6ukBU6BcsAstVqkqDUonVkKIzL_3X55Rdu5WnXP4sMsPkx4AfjKOSk |
| ContentType | Journal Article |
| Copyright | http://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| Copyright_xml | – notice: http://arxiv.org/licenses/nonexclusive-distrib/1.0 |
| DBID | AKY GOX |
| DOI | 10.48550/arxiv.1112.3789 |
| DatabaseName | arXiv Computer Science arXiv.org |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: GOX name: arXiv.org url: http://arxiv.org/find sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | 1112_3789 |
| GroupedDBID | AKY GOX |
| ID | FETCH-LOGICAL-a659-6666ce2a54b32ddd4ed163ceffddea65d862dfa8f3413143d97fb57dbb3ab9f13 |
| IEDL.DBID | GOX |
| IngestDate | Mon Jan 08 05:40:21 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a659-6666ce2a54b32ddd4ed163ceffddea65d862dfa8f3413143d97fb57dbb3ab9f13 |
| OpenAccessLink | https://arxiv.org/abs/1112.3789 |
| ParticipantIDs | arxiv_primary_1112_3789 |
| PublicationCentury | 2000 |
| PublicationDate | 2011-12-16 |
| PublicationDateYYYYMMDD | 2011-12-16 |
| PublicationDate_xml | – month: 12 year: 2011 text: 2011-12-16 day: 16 |
| PublicationDecade | 2010 |
| PublicationYear | 2011 |
| Score | 1.5090653 |
| SecondaryResourceType | preprint |
| Snippet | Non-determinism is of great importance in functional logic programming. It
provides expressiveness and efficiency to functional logic computations. In
this... |
| SourceID | arxiv |
| SourceType | Open Access Repository |
| SubjectTerms | Computer Science - Programming Languages |
| Title | An Implementation of Bubbling |
| URI | https://arxiv.org/abs/1112.3789 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://sdu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwdV27TgMxEFxxqWgQiDcEXNAadPY9fGWAhFRQkCJd5PV6JQoOlHCIz8f2HYiG1p5mbdk7fswswJViU2vnUKKJkhxltUTFlQxcQRvrkIp0Dzl_rh-X5n4abXIuf7Qwdv318tn7A-PmJixEda1r02SQKRV_bD08LfvHxuTENcB_YYFhppY_KWK2CzsDtxOTfjL2YMu3-zCetCJZ8L4OKp9WvLG47RCjEPwAFrPp4m4uh5oE0lZlIwPZTyW0ygK1IqLCUyA0zjOHbSIgKERMbA3H5BCoCDU1Y1kTorbYcK4PYRSO9f4YBLsciZ12FVMAlsZGtuQqX0YbqsaewFGKZfXe205Erq5WMcrTf3vOYDvdeeZK5tU5jD7WnR9DtqHuIg3dN8I8bOA |
| link.rule.ids | 228,230,782,887 |
| linkProvider | Cornell University |
| 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%3Ajournal&rft.genre=article&rft.atitle=An+Implementation+of+Bubbling&rft.au=Alqaddoumi%2C+Abdulla&rft.au=Pontelli%2C+Enrico&rft.date=2011-12-16&rft_id=info:doi/10.48550%2Farxiv.1112.3789&rft.externalDocID=1112_3789 |