Matches in SemOpenAlex for { <https://semopenalex.org/work/W3091574018> ?p ?o ?g. }
- W3091574018 endingPage "188" @default.
- W3091574018 startingPage "177" @default.
- W3091574018 abstract "The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations . Delimited continuation is a similar concept as the standard (unlimited) continuation, but it represents part of the rest of the computation, rather than the whole rest of computation. In the literature, the semantics of shift and reset has been given by a CPS-translation only. This paper gives a direct axiomatization of calculus with shift and reset, namely, we introduce a set of equations, and prove that it is sound and complete with respect to the CPS-translation. We also introduce a calculus with control operators which is as expressive as the calculus with shift and reset, has a sound and complete axiomatization, and is conservative over Sabry and Felleisen's theory for first-class continuations." @default.
- W3091574018 created "2020-10-08" @default.
- W3091574018 creator A5022707936 @default.
- W3091574018 creator A5027486231 @default.
- W3091574018 date "2003-08-25" @default.
- W3091574018 modified "2023-10-17" @default.
- W3091574018 title "A sound and complete axiomatization of delimited continuations" @default.
- W3091574018 cites W1783388813 @default.
- W3091574018 cites W1969661839 @default.
- W3091574018 cites W1975575519 @default.
- W3091574018 cites W1992124283 @default.
- W3091574018 cites W1999336811 @default.
- W3091574018 cites W2007759294 @default.
- W3091574018 cites W2014759397 @default.
- W3091574018 cites W2034257290 @default.
- W3091574018 cites W2035102150 @default.
- W3091574018 cites W2074268752 @default.
- W3091574018 cites W2088735483 @default.
- W3091574018 cites W2099554648 @default.
- W3091574018 cites W2107267313 @default.
- W3091574018 cites W2117163857 @default.
- W3091574018 cites W2136545577 @default.
- W3091574018 cites W2142102103 @default.
- W3091574018 cites W2151716725 @default.
- W3091574018 cites W2293168108 @default.
- W3091574018 cites W2294422796 @default.
- W3091574018 cites W4232619596 @default.
- W3091574018 cites W4251288392 @default.
- W3091574018 doi "https://doi.org/10.1145/944746.944722" @default.
- W3091574018 hasPublicationYear "2003" @default.
- W3091574018 type Work @default.
- W3091574018 sameAs 3091574018 @default.
- W3091574018 citedByCount "9" @default.
- W3091574018 countsByYear W30915740182012 @default.
- W3091574018 countsByYear W30915740182013 @default.
- W3091574018 countsByYear W30915740182015 @default.
- W3091574018 countsByYear W30915740182020 @default.
- W3091574018 crossrefType "journal-article" @default.
- W3091574018 hasAuthorship W3091574018A5022707936 @default.
- W3091574018 hasAuthorship W3091574018A5027486231 @default.
- W3091574018 hasConcept C104317684 @default.
- W3091574018 hasConcept C105580179 @default.
- W3091574018 hasConcept C106159729 @default.
- W3091574018 hasConcept C11413529 @default.
- W3091574018 hasConcept C136119220 @default.
- W3091574018 hasConcept C149364088 @default.
- W3091574018 hasConcept C162324750 @default.
- W3091574018 hasConcept C164705383 @default.
- W3091574018 hasConcept C177264268 @default.
- W3091574018 hasConcept C184337299 @default.
- W3091574018 hasConcept C185592680 @default.
- W3091574018 hasConcept C199343813 @default.
- W3091574018 hasConcept C199360897 @default.
- W3091574018 hasConcept C202444582 @default.
- W3091574018 hasConcept C2777686260 @default.
- W3091574018 hasConcept C2779795794 @default.
- W3091574018 hasConcept C33923547 @default.
- W3091574018 hasConcept C41008148 @default.
- W3091574018 hasConcept C45374587 @default.
- W3091574018 hasConcept C55493867 @default.
- W3091574018 hasConcept C71924100 @default.
- W3091574018 hasConcept C77265313 @default.
- W3091574018 hasConcept C88626702 @default.
- W3091574018 hasConceptScore W3091574018C104317684 @default.
- W3091574018 hasConceptScore W3091574018C105580179 @default.
- W3091574018 hasConceptScore W3091574018C106159729 @default.
- W3091574018 hasConceptScore W3091574018C11413529 @default.
- W3091574018 hasConceptScore W3091574018C136119220 @default.
- W3091574018 hasConceptScore W3091574018C149364088 @default.
- W3091574018 hasConceptScore W3091574018C162324750 @default.
- W3091574018 hasConceptScore W3091574018C164705383 @default.
- W3091574018 hasConceptScore W3091574018C177264268 @default.
- W3091574018 hasConceptScore W3091574018C184337299 @default.
- W3091574018 hasConceptScore W3091574018C185592680 @default.
- W3091574018 hasConceptScore W3091574018C199343813 @default.
- W3091574018 hasConceptScore W3091574018C199360897 @default.
- W3091574018 hasConceptScore W3091574018C202444582 @default.
- W3091574018 hasConceptScore W3091574018C2777686260 @default.
- W3091574018 hasConceptScore W3091574018C2779795794 @default.
- W3091574018 hasConceptScore W3091574018C33923547 @default.
- W3091574018 hasConceptScore W3091574018C41008148 @default.
- W3091574018 hasConceptScore W3091574018C45374587 @default.
- W3091574018 hasConceptScore W3091574018C55493867 @default.
- W3091574018 hasConceptScore W3091574018C71924100 @default.
- W3091574018 hasConceptScore W3091574018C77265313 @default.
- W3091574018 hasConceptScore W3091574018C88626702 @default.
- W3091574018 hasIssue "9" @default.
- W3091574018 hasLocation W30915740181 @default.
- W3091574018 hasOpenAccess W3091574018 @default.
- W3091574018 hasPrimaryLocation W30915740181 @default.
- W3091574018 hasRelatedWork W1562070815 @default.
- W3091574018 hasRelatedWork W1587224678 @default.
- W3091574018 hasRelatedWork W1597178555 @default.
- W3091574018 hasRelatedWork W2080714516 @default.
- W3091574018 hasRelatedWork W2112962394 @default.
- W3091574018 hasRelatedWork W2118300983 @default.
- W3091574018 hasRelatedWork W233473761 @default.
- W3091574018 hasRelatedWork W3021668409 @default.