Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088453062> ?p ?o ?g. }
- W3088453062 endingPage "207" @default.
- W3088453062 startingPage "189" @default.
- W3088453062 abstract "We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to monitor the flow of values between these parts and abort program execution if invalid values are passed. However, control operators, which enable us to implement useful control effects, make such monitoring tricky; in fact, it is known that, with a standard approach, certain communications between typed and untyped parts can be overlooked. We propose a new cast-based mechanism to monitor all communications between typed and untyped parts for a language with control operators shift and reset. We extend a blame calculus with shift/reset to give its semantics (operational semantics and CPS transformation) and prove two important correctness properties of the proposed mechanism: Blame Theorem and soundness of the CPS transformation." @default.
- W3088453062 created "2020-10-01" @default.
- W3088453062 creator A5018002187 @default.
- W3088453062 creator A5069687454 @default.
- W3088453062 creator A5077485499 @default.
- W3088453062 date "2015-01-01" @default.
- W3088453062 modified "2023-10-07" @default.
- W3088453062 title "Shifting the blame a blame calculus with delimited control" @default.
- W3088453062 cites W103523709 @default.
- W3088453062 cites W1568983194 @default.
- W3088453062 cites W1973186567 @default.
- W3088453062 cites W1975575519 @default.
- W3088453062 cites W1980939032 @default.
- W3088453062 cites W2007759294 @default.
- W3088453062 cites W2022114508 @default.
- W3088453062 cites W2034355944 @default.
- W3088453062 cites W2043416466 @default.
- W3088453062 cites W2052973434 @default.
- W3088453062 cites W2062813067 @default.
- W3088453062 cites W2092112509 @default.
- W3088453062 cites W2102473657 @default.
- W3088453062 cites W2128303158 @default.
- W3088453062 cites W2128496924 @default.
- W3088453062 cites W2132416076 @default.
- W3088453062 cites W2141210774 @default.
- W3088453062 cites W2150998213 @default.
- W3088453062 cites W2151716725 @default.
- W3088453062 cites W2181657121 @default.
- W3088453062 cites W2218092420 @default.
- W3088453062 cites W2293168108 @default.
- W3088453062 cites W2293423472 @default.
- W3088453062 cites W2294422796 @default.
- W3088453062 cites W2397711898 @default.
- W3088453062 cites W2475318425 @default.
- W3088453062 cites W2537365228 @default.
- W3088453062 cites W30807461 @default.
- W3088453062 cites W3137596000 @default.
- W3088453062 hasPublicationYear "2015" @default.
- W3088453062 type Work @default.
- W3088453062 sameAs 3088453062 @default.
- W3088453062 citedByCount "0" @default.
- W3088453062 crossrefType "journal-article" @default.
- W3088453062 hasAuthorship W3088453062A5018002187 @default.
- W3088453062 hasAuthorship W3088453062A5069687454 @default.
- W3088453062 hasAuthorship W3088453062A5077485499 @default.
- W3088453062 hasConcept C106159729 @default.
- W3088453062 hasConcept C118552586 @default.
- W3088453062 hasConcept C145428669 @default.
- W3088453062 hasConcept C154945302 @default.
- W3088453062 hasConcept C156325763 @default.
- W3088453062 hasConcept C15744967 @default.
- W3088453062 hasConcept C160191386 @default.
- W3088453062 hasConcept C162324750 @default.
- W3088453062 hasConcept C184337299 @default.
- W3088453062 hasConcept C199343813 @default.
- W3088453062 hasConcept C199360897 @default.
- W3088453062 hasConcept C2775924081 @default.
- W3088453062 hasConcept C2777686260 @default.
- W3088453062 hasConcept C2778361913 @default.
- W3088453062 hasConcept C2779795794 @default.
- W3088453062 hasConcept C2781466463 @default.
- W3088453062 hasConcept C39920170 @default.
- W3088453062 hasConcept C41008148 @default.
- W3088453062 hasConcept C55439883 @default.
- W3088453062 hasConcept C71924100 @default.
- W3088453062 hasConceptScore W3088453062C106159729 @default.
- W3088453062 hasConceptScore W3088453062C118552586 @default.
- W3088453062 hasConceptScore W3088453062C145428669 @default.
- W3088453062 hasConceptScore W3088453062C154945302 @default.
- W3088453062 hasConceptScore W3088453062C156325763 @default.
- W3088453062 hasConceptScore W3088453062C15744967 @default.
- W3088453062 hasConceptScore W3088453062C160191386 @default.
- W3088453062 hasConceptScore W3088453062C162324750 @default.
- W3088453062 hasConceptScore W3088453062C184337299 @default.
- W3088453062 hasConceptScore W3088453062C199343813 @default.
- W3088453062 hasConceptScore W3088453062C199360897 @default.
- W3088453062 hasConceptScore W3088453062C2775924081 @default.
- W3088453062 hasConceptScore W3088453062C2777686260 @default.
- W3088453062 hasConceptScore W3088453062C2778361913 @default.
- W3088453062 hasConceptScore W3088453062C2779795794 @default.
- W3088453062 hasConceptScore W3088453062C2781466463 @default.
- W3088453062 hasConceptScore W3088453062C39920170 @default.
- W3088453062 hasConceptScore W3088453062C41008148 @default.
- W3088453062 hasConceptScore W3088453062C55439883 @default.
- W3088453062 hasConceptScore W3088453062C71924100 @default.
- W3088453062 hasLocation W30884530621 @default.
- W3088453062 hasOpenAccess W3088453062 @default.
- W3088453062 hasPrimaryLocation W30884530621 @default.
- W3088453062 hasRelatedWork W1524867986 @default.
- W3088453062 hasRelatedWork W168029087 @default.
- W3088453062 hasRelatedWork W2043036517 @default.
- W3088453062 hasRelatedWork W2045981840 @default.
- W3088453062 hasRelatedWork W2055213155 @default.
- W3088453062 hasRelatedWork W2057345152 @default.
- W3088453062 hasRelatedWork W2138018153 @default.
- W3088453062 hasRelatedWork W2150650750 @default.
- W3088453062 hasRelatedWork W2183828394 @default.
- W3088453062 hasRelatedWork W2267916304 @default.