Proceedings of the Workshop on Continuations

The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation nicely realizes sophisticated control mechanisms, which are wi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org
Hauptverfasser: Danvy, Olivier, de'Liguoro, Ugo
Format: Paper
Sprache:Englisch
Veröffentlicht: Ithaca Cornell University Library, arXiv.org 19.06.2016
Schlagworte:
Declarative programming
Programming languages
Reasoning
Semantics
ISSN:2331-8422
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation nicely realizes sophisticated control mechanisms, which are widely used in a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. Indeed there is much research activity on understanding, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. The proceedings of the Workshop on Continuations 2015, held in London in April 2015, illustrate some of the afore mentioned topics and hopefully they will inspire further research work on the subject.
AbstractList The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and constructive mathematics. In fact the concept of continuation nicely realizes sophisticated control mechanisms, which are widely used in a variety of applications. Since we cannot escape control features, it becomes a challenge to provide them with sound reasoning principles. Indeed there is much research activity on understanding, representing, and reasoning about elaborated non-local control structures, in particular in declarative programming languages such as functional and logic languages. The proceedings of the Workshop on Continuations 2015, held in London in April 2015, illustrate some of the afore mentioned topics and hopefully they will inspire further research work on the subject.
Author Danvy, Olivier
de'Liguoro, Ugo
Author_xml – sequence: 1
  givenname: Olivier
  surname: Danvy
  fullname: Danvy, Olivier
– sequence: 2
  givenname: Ugo
  surname: de'Liguoro
  fullname: de'Liguoro, Ugo
BookMark eNotjcFKw0AURQdRsNZ-gLsBtya-9yZvMllK0CoU2kXBZZlkJjZVZmomET_fiq7uWRzOvRLnIQYvxA1CXhhmuLfDd_-VowadAxtVnYkZKYWZKYguxSKlAwCQLolZzcTdZoit964Pb0nGTo57L1_j8J728ShjkHUMYx8mO_YxpGtx0dmP5Bf_Oxfbp8dt_Zyt1suX-mGVWSbOmg4ctWCxAm_KFpU17FrQqrEe_K9imuYEVLCrnC5a4EaRcagKjUio5uL2L3sc4ufk07g7xGkIp8cdQVkRVqhZ_QCbdETs
ContentType Paper
Copyright 2016. 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: 2016. 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.1606.05839
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest MSED
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
ProQuest Technology Collection
ProQuest One
ProQuest Central Korea
SciTech Premium Collection
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
  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-bf0d2c0a190e87c13a85dc063bae0ea5258bb0ea245d9d64c05b328d134611213
IEDL.DBID M7S
IngestDate Mon Jun 30 09:15:42 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a525-bf0d2c0a190e87c13a85dc063bae0ea5258bb0ea245d9d64c05b328d134611213
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2079219165?pq-origsite=%requestingapplication%
PQID 2079219165
PQPubID 2050157
ParticipantIDs proquest_journals_2079219165
PublicationCentury 2000
PublicationDate 20160619
PublicationDateYYYYMMDD 2016-06-19
PublicationDate_xml – month: 06
  year: 2016
  text: 20160619
  day: 19
PublicationDecade 2010
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2016
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.5953784
SecondaryResourceType preprint
Snippet The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics,...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Declarative programming
Programming languages
Reasoning
Semantics
Title Proceedings of the Workshop on Continuations
URI https://www.proquest.com/docview/2079219165
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwED5BCxITb_EoVQZGDHEcJ_aEBKKCgSqCDmWq_BRdkpKUip-P7aZlQGJhs2UPPtm--_Td6TuAS0ak1ZZ53g0blHJLkMRKoAQbqmLNLZUyNJvIh0M2HvOiJdyatqxy5RODo9aV8hy5Z0K4-104o7ezD-S7RvnsattCYxO6XiUBh9K91zXHkmS5Q8xkmcwM0l03ov6aLjylkl3HlBH-ywWHuDLY_e-J9qBbiJmp92HDlAewHeo5VXMIV8U6MDVRZSMH8yLPizfv1SyqysiLUk3Lpcx3cwSjwcPo_hG1jRGQoAlF0sY6UbFwsdywXGEiGNXKYQ0pTGz8FialGyQp1VxnqYqpJAnTmKQZ9hJux9Apq9KcQCQVFglzsC2XNLUslzq3gmhrM8ms5ewUeivbJ-3jbiY_hp_9vXwOOw5fZL6yCvMedOb1p7mALbWYT5u6D927h2Hx0g935mbF03Px9g0QA6IZ
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V07T8MwED6VAoKJt3gUyAAbgdiJE3tADEDVqqWqRIdulZ-iS1KSUuBH8R-x0wcDElsHNku2LOt8vvv8-XwHcEFDYZShjndD2o-YCX2BJPcx0kQGihkiRFlsIul0aL_PuhX4mv-FcWGVc5tYGmqVSceROyaE2dOFYnI3evVd1Sj3ujovoTFVi5b-fLdXtuK2-WD39xLj-mPvvuHPqgr4nGDiCxMoLANuHaGmiUQhp0RJ66gF14F2Q6gQtoEjopiKIxkQEWKqUBjFyOU_s9OuwKpFEZiVkYLPC0oHx4kF6OH07bTMFHbD84_hxDE48XVAaMh-WfzSjdW3_pkAtmG1y0c634GKTndhvYxWlcUeXHUXbrfwMuNZEOs51r94yUZelnou5dYwnSYxL_aht4z1HUA1zVJ9CJ6QiGNqQWkiSGRoIlRieKiMiQU1htEjqM1FPZgd3WLwI-fjv7vPYaPRe2oP2s1O6wQ2LZKKXQwZYjWojvM3fQprcjIeFvlZqSYeDJa8K9-bn_l7
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=Proceedings+of+the+Workshop+on+Continuations&rft.jtitle=arXiv.org&rft.au=Danvy%2C+Olivier&rft.au=de%27Liguoro%2C+Ugo&rft.date=2016-06-19&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1606.05839