Matches in SemOpenAlex for { <https://semopenalex.org/work/W150587374> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W150587374 abstract "Operational logical relations and bisimulations are two particularly successful syntactic techniques for reasoning about program equivalence. Although both techniques seem to have common intuitions, their basis is on different mathematical principles: induction for the former, and co-induction for the latter. The intuitive understanding of the two techniques seems more common, but their mathematical connection more ambitious, when each is combined with step-based reasoning, such as in the case of Appel-McAllester-Ahmed step-indexed (SI) logical relations [5, 4] and Koutavas-Wand (KW) bisimulations [12, 11]. In this paper we give an alternative formulation of a SI logical relation in the style of Appel-McAllester-Ahmed. We derive this from a definition that is parametric on the indexing scheme by requiring it to satisfy the desirable properties of a SI logical relation. We then argue that SI logical relations and KW bisimulations approximate the same relation each in a distinct way. Finally we prove a somewhat surprising commutation theorem between unions and intersections that may be used as a new proof technique." @default.
- W150587374 created "2016-06-24" @default.
- W150587374 creator A5012184818 @default.
- W150587374 creator A5029108294 @default.
- W150587374 date "2009-03-01" @default.
- W150587374 modified "2023-09-27" @default.
- W150587374 title "Relating step-indexed logical relations and bisimulations" @default.
- W150587374 cites W1557561422 @default.
- W150587374 cites W159533833 @default.
- W150587374 cites W1596161732 @default.
- W150587374 cites W1793987241 @default.
- W150587374 cites W1991984504 @default.
- W150587374 cites W1992889841 @default.
- W150587374 cites W2043325669 @default.
- W150587374 cites W2082549583 @default.
- W150587374 cites W2085080904 @default.
- W150587374 cites W2096216741 @default.
- W150587374 cites W2100559921 @default.
- W150587374 cites W2106978595 @default.
- W150587374 cites W2114702512 @default.
- W150587374 cites W2125379835 @default.
- W150587374 cites W2144562508 @default.
- W150587374 cites W2149412346 @default.
- W150587374 cites W2151265449 @default.
- W150587374 cites W2462465651 @default.
- W150587374 hasPublicationYear "2009" @default.
- W150587374 type Work @default.
- W150587374 sameAs 150587374 @default.
- W150587374 citedByCount "1" @default.
- W150587374 countsByYear W1505873742018 @default.
- W150587374 crossrefType "journal-article" @default.
- W150587374 hasAuthorship W150587374A5012184818 @default.
- W150587374 hasAuthorship W150587374A5029108294 @default.
- W150587374 hasConcept C105795698 @default.
- W150587374 hasConcept C117251300 @default.
- W150587374 hasConcept C118615104 @default.
- W150587374 hasConcept C134752490 @default.
- W150587374 hasConcept C136119220 @default.
- W150587374 hasConcept C154945302 @default.
- W150587374 hasConcept C156103551 @default.
- W150587374 hasConcept C199343813 @default.
- W150587374 hasConcept C199360897 @default.
- W150587374 hasConcept C202444582 @default.
- W150587374 hasConcept C21847791 @default.
- W150587374 hasConcept C25343380 @default.
- W150587374 hasConcept C2777686260 @default.
- W150587374 hasConcept C2780069185 @default.
- W150587374 hasConcept C33923547 @default.
- W150587374 hasConcept C41008148 @default.
- W150587374 hasConcept C71924100 @default.
- W150587374 hasConcept C77088390 @default.
- W150587374 hasConcept C80444323 @default.
- W150587374 hasConceptScore W150587374C105795698 @default.
- W150587374 hasConceptScore W150587374C117251300 @default.
- W150587374 hasConceptScore W150587374C118615104 @default.
- W150587374 hasConceptScore W150587374C134752490 @default.
- W150587374 hasConceptScore W150587374C136119220 @default.
- W150587374 hasConceptScore W150587374C154945302 @default.
- W150587374 hasConceptScore W150587374C156103551 @default.
- W150587374 hasConceptScore W150587374C199343813 @default.
- W150587374 hasConceptScore W150587374C199360897 @default.
- W150587374 hasConceptScore W150587374C202444582 @default.
- W150587374 hasConceptScore W150587374C21847791 @default.
- W150587374 hasConceptScore W150587374C25343380 @default.
- W150587374 hasConceptScore W150587374C2777686260 @default.
- W150587374 hasConceptScore W150587374C2780069185 @default.
- W150587374 hasConceptScore W150587374C33923547 @default.
- W150587374 hasConceptScore W150587374C41008148 @default.
- W150587374 hasConceptScore W150587374C71924100 @default.
- W150587374 hasConceptScore W150587374C77088390 @default.
- W150587374 hasConceptScore W150587374C80444323 @default.
- W150587374 hasLocation W1505873741 @default.
- W150587374 hasOpenAccess W150587374 @default.
- W150587374 hasPrimaryLocation W1505873741 @default.
- W150587374 hasRelatedWork W104321364 @default.
- W150587374 hasRelatedWork W1514605802 @default.
- W150587374 hasRelatedWork W1598297969 @default.
- W150587374 hasRelatedWork W176580021 @default.
- W150587374 hasRelatedWork W1899545329 @default.
- W150587374 hasRelatedWork W2126810997 @default.
- W150587374 hasRelatedWork W2178879552 @default.
- W150587374 hasRelatedWork W2207948284 @default.
- W150587374 hasRelatedWork W2257490130 @default.
- W150587374 hasRelatedWork W2402643976 @default.
- W150587374 hasRelatedWork W2474916543 @default.
- W150587374 hasRelatedWork W2519911856 @default.
- W150587374 hasRelatedWork W2891111320 @default.
- W150587374 hasRelatedWork W2908263265 @default.
- W150587374 hasRelatedWork W2962949396 @default.
- W150587374 hasRelatedWork W316481414 @default.
- W150587374 hasRelatedWork W568750796 @default.
- W150587374 hasRelatedWork W87514402 @default.
- W150587374 hasRelatedWork W97084711 @default.
- W150587374 hasRelatedWork W2182005681 @default.
- W150587374 isParatext "false" @default.
- W150587374 isRetracted "false" @default.
- W150587374 magId "150587374" @default.
- W150587374 workType "article" @default.