A Semantics for Hybrid Iteration
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and th...
Uloženo v:
| Vydáno v: | arXiv.org |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Paper |
| Jazyk: | angličtina |
| Vydáno: |
Ithaca
Cornell University Library, arXiv.org
05.02.2019
|
| Témata: | |
| ISSN: | 2331-8422 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time - we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations. |
|---|---|
| AbstractList | The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time - we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations. |
| Author | Jakob, Julian Goncharov, Sergey Neves, Renato |
| Author_xml | – sequence: 1 givenname: Sergey surname: Goncharov fullname: Goncharov, Sergey – sequence: 2 givenname: Julian surname: Jakob fullname: Jakob, Julian – sequence: 3 givenname: Renato surname: Neves fullname: Neves, Renato |
| BookMark | eNotjctKAzEUQIMoWGs_wF3A9Yw372RZitpCwYXdlzxuYIpmNJmK_r0DujqLA-fckMsyFiTkjkEvrVLw4Ov38NUzC6YHBkpckAUXgnVWcn5NVq2dAIBrw5USC0LX9BXffZmG2GgeK93-hDokupuw-mkYyy25yv6t4eqfS3J4ejxstt3-5Xm3We87r7jqHEgtWU4xihgMYrQh6IBopE8sKqMRpUOVrUws8OhmkaLQGdwsPQtiSe7_sh91_Dxjm46n8VzLfDxyMEIb46wSv8C9QVs |
| ContentType | Paper |
| Copyright | 2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: 2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | 8FE 8FG ABJCF ABUWG AFKRA AZQEC BENPR BGLVJ CCPQU DWQXO HCIFZ L6V M7S PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| DOI | 10.48550/arxiv.1807.01053 |
| DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest Central Essentials - QC ProQuest Central ProQuest Technology Collection ProQuest One Community College ProQuest Central Korea SciTech Collection (ProQuest) ProQuest Engineering Collection Engineering Database Proquest Central Premium ProQuest One Academic (New) Publicly Available Content Database ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
| DatabaseTitle | Publicly Available Content Database Engineering Database Technology Collection ProQuest One Academic Middle East (New) ProQuest Central Essentials ProQuest One Academic Eastern Edition ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest One Academic UKI Edition ProQuest Central Korea Materials Science & Engineering Collection ProQuest Central (New) ProQuest One Academic ProQuest One Academic (New) Engineering Collection |
| DatabaseTitleList | Publicly Available Content Database |
| Database_xml | – sequence: 1 dbid: PIMPY name: Publicly Available Content Database (Proquest) url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Physics |
| EISSN | 2331-8422 |
| Genre | Working Paper/Pre-Print |
| GroupedDBID | 8FE 8FG ABJCF ABUWG AFKRA ALMA_UNASSIGNED_HOLDINGS AZQEC BENPR BGLVJ CCPQU DWQXO FRJ HCIFZ L6V M7S M~E PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS |
| ID | FETCH-LOGICAL-a525-904641fdcc3cb7eec8bb6bee74ad1c576ee49e5f84d1b2c9e74dc36f09c57a1b3 |
| IEDL.DBID | M7S |
| IngestDate | Mon Jun 30 09:27:47 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a525-904641fdcc3cb7eec8bb6bee74ad1c576ee49e5f84d1b2c9e74dc36f09c57a1b3 |
| Notes | SourceType-Working Papers-1 ObjectType-Working Paper/Pre-Print-1 content type line 50 |
| OpenAccessLink | https://www.proquest.com/docview/2073677985?pq-origsite=%requestingapplication% |
| PQID | 2073677985 |
| PQPubID | 2050157 |
| ParticipantIDs | proquest_journals_2073677985 |
| PublicationCentury | 2000 |
| PublicationDate | 20190205 |
| PublicationDateYYYYMMDD | 2019-02-05 |
| PublicationDate_xml | – month: 02 year: 2019 text: 20190205 day: 05 |
| PublicationDecade | 2010 |
| PublicationPlace | Ithaca |
| PublicationPlace_xml | – name: Ithaca |
| PublicationTitle | arXiv.org |
| PublicationYear | 2019 |
| Publisher | Cornell University Library, arXiv.org |
| Publisher_xml | – name: Cornell University Library, arXiv.org |
| SSID | ssj0002672553 |
| Score | 1.6789879 |
| SecondaryResourceType | preprint |
| Snippet | The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial... |
| SourceID | proquest |
| SourceType | Aggregation Database |
| SubjectTerms | Iterative methods Programming languages Semantics |
| Title | A Semantics for Hybrid Iteration |
| URI | https://www.proquest.com/docview/2073677985 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagBYmJt3iUKgOrIY5jx54QoFbtQBXRDmWq7LMjdaCPpFTw77FNCgMSC6N1i893Pn_38B1C18Y4PQEeY6WJxaliHAtpEsy1iNOMMUW1CMMmssFAjMcyrwNuVV1WubGJwVCbOfgYuY-EUJ5lUrC7xRL7qVE-u1qP0NhGTd8lgYTSveF3jCXhmUPM9CuZGVp33aryfbq-IcJ3LnTQgv4yweFd6e7_d0cHqJmrhS0P0ZadHaHdUM8J1TGK7qOhfXWn5laRw6VR78N_zYr6oYmyk8UJGnU7o8cerochYMUShqVPQZLCAFDQmbUgtOba2ixVhoBzGqxNpWWFSA3RCUhHMEB5EUtHVETTU9SYzWf2DEWQAqSxKrTQzl1J3A0GomLKjAZqY8XPUWvD76RW6Gryw-zF3-RLtOcwhQyFzayFGqvyzV6hHVivplXZRs2HziB_bgc5uVXef8pfPgEzc52R |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LTwIxEJ4gaPTkOz5Q96DH1d12u9s9GGNUAgEJCRy4bfrahIOALKL8KP-js4XVg4k3Dh6bSZpm-nX6dWY6A3CpNeJEhZ4rpG_cQLDQ5bEmbii5F0SMCSq5bTYRtdu83487Jfgs_sLkaZWFTbSGWo9U7iPPPSE0jKKYs7vxq5t3jcqjq0ULjQUsmmb-jk-27LbxiPt7RUjtqfdQd5ddBVzBCHPjPJbnp1opqmRkjOJShtKYKBDaV8i-jQliw1IeaF8SFaNAKxqmXoxC4UuK065BBVkEITZTsPvt0iFhhASdLmKntlLYjZh8DGbXPs8LJSKTob8svr3Gatv_TAE7UOmIsZnsQskM92DDZquqbB-ce6drXhATOHKQdTv1ef7xzGnYEtGItAPorWJNh1AejobmCBwVKBV4IpVc4mOMoH1SvvAo01JR44nwGKqFepPlcc2SH92e_C2-gM1677mVtBrt5ilsIXuKbQo3q0J5OnkzZ7CuZtNBNjm30HAgWfFOfAE-H_mT |
| 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=A+Semantics+for+Hybrid+Iteration&rft.jtitle=arXiv.org&rft.au=Goncharov%2C+Sergey&rft.au=Jakob%2C+Julian&rft.au=Neves%2C+Renato&rft.date=2019-02-05&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1807.01053 |