Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558048192> ?p ?o ?g. }
- W1558048192 endingPage "136" @default.
- W1558048192 startingPage "91" @default.
- W1558048192 abstract "The syntactic nature of operational reasoning requires techniques to deal with term contexts, especially for reasoning about recursion. In this paper we study applicative bisimulation and a variant of Sands’ improvement theory for a small call-by-value functional language. We explore an indirect, relational approach for reasoning about contexts. It is inspired by Howe’s precise method for proving congruence of simulation orderings and by Pitts’ extension thereof for proving applicative bisimulation up to context. We illustrate this approach with proofs of the unwinding theorem and syntactic continuity and, more importantly, we establish analogues of Sangiorgi’s bisimulation up to context for applicative bisimulation and for improvement. Using these powerful bisimulation up to context techniques, we give concise operational proofs of recursion induction, the improvement theorem, and syntactic minimal invariance. Previous operational proofs of these results involve complex, explicit reasoning about contexts." @default.
- W1558048192 created "2016-06-24" @default.
- W1558048192 creator A5066283304 @default.
- W1558048192 date "1999-06-01" @default.
- W1558048192 modified "2023-09-28" @default.
- W1558048192 title "Relational reasoning about contexts" @default.
- W1558048192 cites W1502063988 @default.
- W1558048192 cites W1503973138 @default.
- W1558048192 cites W1507693023 @default.
- W1558048192 cites W1531693393 @default.
- W1558048192 cites W1537537016 @default.
- W1558048192 cites W1543025158 @default.
- W1558048192 cites W1547562281 @default.
- W1558048192 cites W1559299058 @default.
- W1558048192 cites W1597593202 @default.
- W1558048192 cites W1604099552 @default.
- W1558048192 cites W172004165 @default.
- W1558048192 cites W1829244603 @default.
- W1558048192 cites W1894198336 @default.
- W1558048192 cites W1987868327 @default.
- W1558048192 cites W2015890451 @default.
- W1558048192 cites W2018474310 @default.
- W1558048192 cites W2033241085 @default.
- W1558048192 cites W2039112578 @default.
- W1558048192 cites W2058102230 @default.
- W1558048192 cites W2060852846 @default.
- W1558048192 cites W2062233055 @default.
- W1558048192 cites W2064236106 @default.
- W1558048192 cites W2082549583 @default.
- W1558048192 cites W2092367588 @default.
- W1558048192 cites W2118883965 @default.
- W1558048192 cites W2128995870 @default.
- W1558048192 cites W2156553731 @default.
- W1558048192 cites W2156876717 @default.
- W1558048192 cites W2167949883 @default.
- W1558048192 cites W2244694539 @default.
- W1558048192 cites W2290372454 @default.
- W1558048192 cites W2335996541 @default.
- W1558048192 cites W2338077133 @default.
- W1558048192 cites W2911537109 @default.
- W1558048192 cites W2912819106 @default.
- W1558048192 cites W2913281688 @default.
- W1558048192 cites W2952567904 @default.
- W1558048192 cites W2990518766 @default.
- W1558048192 cites W2359106268 @default.
- W1558048192 hasPublicationYear "1999" @default.
- W1558048192 type Work @default.
- W1558048192 sameAs 1558048192 @default.
- W1558048192 citedByCount "16" @default.
- W1558048192 countsByYear W15580481922014 @default.
- W1558048192 countsByYear W15580481922015 @default.
- W1558048192 countsByYear W15580481922017 @default.
- W1558048192 crossrefType "book" @default.
- W1558048192 hasAuthorship W1558048192A5066283304 @default.
- W1558048192 hasConcept C108710211 @default.
- W1558048192 hasConcept C132074034 @default.
- W1558048192 hasConcept C135315306 @default.
- W1558048192 hasConcept C136119220 @default.
- W1558048192 hasConcept C151730666 @default.
- W1558048192 hasConcept C168773036 @default.
- W1558048192 hasConcept C199360897 @default.
- W1558048192 hasConcept C202444582 @default.
- W1558048192 hasConcept C2524010 @default.
- W1558048192 hasConcept C2779343474 @default.
- W1558048192 hasConcept C33923547 @default.
- W1558048192 hasConcept C41008148 @default.
- W1558048192 hasConcept C80444323 @default.
- W1558048192 hasConcept C86803240 @default.
- W1558048192 hasConceptScore W1558048192C108710211 @default.
- W1558048192 hasConceptScore W1558048192C132074034 @default.
- W1558048192 hasConceptScore W1558048192C135315306 @default.
- W1558048192 hasConceptScore W1558048192C136119220 @default.
- W1558048192 hasConceptScore W1558048192C151730666 @default.
- W1558048192 hasConceptScore W1558048192C168773036 @default.
- W1558048192 hasConceptScore W1558048192C199360897 @default.
- W1558048192 hasConceptScore W1558048192C202444582 @default.
- W1558048192 hasConceptScore W1558048192C2524010 @default.
- W1558048192 hasConceptScore W1558048192C2779343474 @default.
- W1558048192 hasConceptScore W1558048192C33923547 @default.
- W1558048192 hasConceptScore W1558048192C41008148 @default.
- W1558048192 hasConceptScore W1558048192C80444323 @default.
- W1558048192 hasConceptScore W1558048192C86803240 @default.
- W1558048192 hasLocation W15580481921 @default.
- W1558048192 hasOpenAccess W1558048192 @default.
- W1558048192 hasPrimaryLocation W15580481921 @default.
- W1558048192 hasRelatedWork W102024464 @default.
- W1558048192 hasRelatedWork W1503973138 @default.
- W1558048192 hasRelatedWork W1537995368 @default.
- W1558048192 hasRelatedWork W1539402181 @default.
- W1558048192 hasRelatedWork W1546727036 @default.
- W1558048192 hasRelatedWork W1604099552 @default.
- W1558048192 hasRelatedWork W172004165 @default.
- W1558048192 hasRelatedWork W1973030866 @default.
- W1558048192 hasRelatedWork W1979328536 @default.
- W1558048192 hasRelatedWork W2007270285 @default.
- W1558048192 hasRelatedWork W2008838944 @default.
- W1558048192 hasRelatedWork W2088735483 @default.
- W1558048192 hasRelatedWork W2092367588 @default.