FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3152102438> ?p ?o ?g. }

• W3152102438 endingPage "152" @default.
• W3152102438 startingPage "141" @default.
• W3152102438 abstract "We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values, including higher-order values, are storable. Our notion of bisimulation leads to smaller and more tractable relations than does the method of Sumii and Pierce [31]. In particular, our method allows one to write down a bisimulation relation directly in cases where [31] requires an inductive specification, and where the principle of local invariants [22] is inapplicable. Our method can also express examples with higher-order functions, in contrast with the most widely known previous methods [4, 22, 32] which are limited in their ability to deal with such examples. The bisimulation conditions are derived by manually extracting proof obligations from a hypothetical direct proof of contextual equivalence." @default.
• W3152102438 created "2021-04-13" @default.
• W3152102438 creator A5030992054 @default.
• W3152102438 creator A5077441955 @default.
• W3152102438 date "2006-01-11" @default.
• W3152102438 modified "2023-10-18" @default.
• W3152102438 title "Small bisimulations for reasoning about higher-order imperative programs" @default.
• W3152102438 cites W1488482916 @default.
• W3152102438 cites W1495825275 @default.
• W3152102438 cites W1500601312 @default.
• W3152102438 cites W1894198336 @default.
• W3152102438 cites W1973030866 @default.
• W3152102438 cites W1973060466 @default.
• W3152102438 cites W1978469611 @default.
• W3152102438 cites W1983077483 @default.
• W3152102438 cites W1985450085 @default.
• W3152102438 cites W2004608305 @default.
• W3152102438 cites W2005403834 @default.
• W3152102438 cites W2007270285 @default.
• W3152102438 cites W2022693109 @default.
• W3152102438 cites W2023168372 @default.
• W3152102438 cites W2033241085 @default.
• W3152102438 cites W2039112578 @default.
• W3152102438 cites W2043325669 @default.
• W3152102438 cites W2068352674 @default.
• W3152102438 cites W2104356063 @default.
• W3152102438 cites W2122220040 @default.
• W3152102438 cites W2125057771 @default.
• W3152102438 cites W2165446401 @default.
• W3152102438 cites W3031966213 @default.
• W3152102438 cites W4239307380 @default.
• W3152102438 doi "https://doi.org/10.1145/1111320.1111050" @default.
• W3152102438 hasPublicationYear "2006" @default.
• W3152102438 type Work @default.
• W3152102438 sameAs 3152102438 @default.
• W3152102438 citedByCount "10" @default.
• W3152102438 countsByYear W31521024382012 @default.
• W3152102438 countsByYear W31521024382013 @default.
• W3152102438 countsByYear W31521024382015 @default.
• W3152102438 countsByYear W31521024382019 @default.
• W3152102438 countsByYear W31521024382021 @default.
• W3152102438 crossrefType "journal-article" @default.
• W3152102438 hasAuthorship W3152102438A5030992054 @default.
• W3152102438 hasAuthorship W3152102438A5077441955 @default.
• W3152102438 hasConcept C11413529 @default.
• W3152102438 hasConcept C118615104 @default.
• W3152102438 hasConcept C135315306 @default.
• W3152102438 hasConcept C135790938 @default.
• W3152102438 hasConcept C136119220 @default.
• W3152102438 hasConcept C156103551 @default.
• W3152102438 hasConcept C199343813 @default.
• W3152102438 hasConcept C199360897 @default.
• W3152102438 hasConcept C202444582 @default.
• W3152102438 hasConcept C25343380 @default.
• W3152102438 hasConcept C2777686260 @default.
• W3152102438 hasConcept C2780069185 @default.
• W3152102438 hasConcept C33923547 @default.
• W3152102438 hasConcept C41008148 @default.
• W3152102438 hasConcept C70846408 @default.
• W3152102438 hasConcept C71924100 @default.
• W3152102438 hasConcept C77088390 @default.
• W3152102438 hasConcept C80444323 @default.
• W3152102438 hasConceptScore W3152102438C11413529 @default.
• W3152102438 hasConceptScore W3152102438C118615104 @default.
• W3152102438 hasConceptScore W3152102438C135315306 @default.
• W3152102438 hasConceptScore W3152102438C135790938 @default.
• W3152102438 hasConceptScore W3152102438C136119220 @default.
• W3152102438 hasConceptScore W3152102438C156103551 @default.
• W3152102438 hasConceptScore W3152102438C199343813 @default.
• W3152102438 hasConceptScore W3152102438C199360897 @default.
• W3152102438 hasConceptScore W3152102438C202444582 @default.
• W3152102438 hasConceptScore W3152102438C25343380 @default.
• W3152102438 hasConceptScore W3152102438C2777686260 @default.
• W3152102438 hasConceptScore W3152102438C2780069185 @default.
• W3152102438 hasConceptScore W3152102438C33923547 @default.
• W3152102438 hasConceptScore W3152102438C41008148 @default.
• W3152102438 hasConceptScore W3152102438C70846408 @default.
• W3152102438 hasConceptScore W3152102438C71924100 @default.
• W3152102438 hasConceptScore W3152102438C77088390 @default.
• W3152102438 hasConceptScore W3152102438C80444323 @default.
• W3152102438 hasIssue "1" @default.
• W3152102438 hasLocation W31521024381 @default.
• W3152102438 hasOpenAccess W3152102438 @default.
• W3152102438 hasPrimaryLocation W31521024381 @default.
• W3152102438 hasRelatedWork W1568197394 @default.
• W3152102438 hasRelatedWork W1823469408 @default.
• W3152102438 hasRelatedWork W1982083515 @default.
• W3152102438 hasRelatedWork W2052184002 @default.
• W3152102438 hasRelatedWork W2060359281 @default.
• W3152102438 hasRelatedWork W2069441293 @default.
• W3152102438 hasRelatedWork W207051717 @default.
• W3152102438 hasRelatedWork W2125379835 @default.
• W3152102438 hasRelatedWork W3152102438 @default.
• W3152102438 hasRelatedWork W4206501196 @default.
• W3152102438 hasVolume "41" @default.
• W3152102438 isParatext "false" @default.
• W3152102438 isRetracted "false" @default.
• W3152102438 magId "3152102438" @default.

• next