FRINK Linked Data Fragments server

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

• W2023149698 endingPage "69" @default.
• W2023149698 startingPage "1" @default.
• W2023149698 abstract "Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulation proof method with “up-to context” techniques, and (2) obtaining definitions and results that scale to languages with different features. To meet these challenges, we present environment{} bisimulations , a form of bisimulation for higher-order languages, and its basic theory. We consider four representative calculi: pure λ-calculi (call-by-name and call-by-value), call-by-value λ-calculus with higher-order store, and then Higher-Order π-calculus. In each case: we present the basic properties of environment bisimilarity, including congruence; we show that it coincides with contextual equivalence; we develop some up-to techniques, including up-to context, as examples of possible enhancements of the associated bisimulation method. Unlike previous approaches (such as applicative bisimulations, logical relations, Sumii-Pierce-Koutavas-Wand), our method does not require induction/indices on evaluation derivation/steps (which may complicate the proofs of congruence, transitivity, and the combination with up-to techniques), or sophisticated methods such as Howe's for proving congruence. It also scales from the pure λ-calculi to the richer calculi with simple congruence proofs." @default.
• W2023149698 created "2016-06-24" @default.
• W2023149698 creator A5048931630 @default.
• W2023149698 creator A5077030456 @default.
• W2023149698 creator A5084941435 @default.
• W2023149698 date "2011-01-01" @default.
• W2023149698 modified "2023-10-10" @default.
• W2023149698 title "Environmental bisimulations for higher-order languages" @default.
• W2023149698 cites W1508098446 @default.
• W2023149698 cites W1520313722 @default.
• W2023149698 cites W1530882603 @default.
• W2023149698 cites W1571425387 @default.
• W2023149698 cites W1596161732 @default.
• W2023149698 cites W1790914901 @default.
• W2023149698 cites W1969001723 @default.
• W2023149698 cites W1991984504 @default.
• W2023149698 cites W2006433153 @default.
• W2023149698 cites W2011491369 @default.
• W2023149698 cites W2024300530 @default.
• W2023149698 cites W2033051110 @default.
• W2023149698 cites W2054344570 @default.
• W2023149698 cites W2072048176 @default.
• W2023149698 cites W2083792687 @default.
• W2023149698 cites W2085080904 @default.
• W2023149698 cites W2092367588 @default.
• W2023149698 cites W2095421079 @default.
• W2023149698 cites W2096216741 @default.
• W2023149698 cites W2100559921 @default.
• W2023149698 cites W2125379835 @default.
• W2023149698 cites W2134181241 @default.
• W2023149698 cites W2165407648 @default.
• W2023149698 cites W2951546131 @default.
• W2023149698 cites W3136453915 @default.
• W2023149698 cites W4230665378 @default.
• W2023149698 doi "https://doi.org/10.1145/1889997.1890002" @default.
• W2023149698 hasPublicationYear "2011" @default.
• W2023149698 type Work @default.
• W2023149698 sameAs 2023149698 @default.
• W2023149698 citedByCount "78" @default.
• W2023149698 countsByYear W20231496982012 @default.
• W2023149698 countsByYear W20231496982013 @default.
• W2023149698 countsByYear W20231496982014 @default.
• W2023149698 countsByYear W20231496982015 @default.
• W2023149698 countsByYear W20231496982016 @default.
• W2023149698 countsByYear W20231496982017 @default.
• W2023149698 countsByYear W20231496982018 @default.
• W2023149698 countsByYear W20231496982019 @default.
• W2023149698 countsByYear W20231496982020 @default.
• W2023149698 countsByYear W20231496982021 @default.
• W2023149698 countsByYear W20231496982022 @default.
• W2023149698 countsByYear W20231496982023 @default.
• W2023149698 crossrefType "journal-article" @default.
• W2023149698 hasAuthorship W2023149698A5048931630 @default.
• W2023149698 hasAuthorship W2023149698A5077030456 @default.
• W2023149698 hasAuthorship W2023149698A5084941435 @default.
• W2023149698 hasBestOaLocation W20231496981 @default.
• W2023149698 hasConcept C108710211 @default.
• W2023149698 hasConcept C11413529 @default.
• W2023149698 hasConcept C114614502 @default.
• W2023149698 hasConcept C132074034 @default.
• W2023149698 hasConcept C135315306 @default.
• W2023149698 hasConcept C136119220 @default.
• W2023149698 hasConcept C151730666 @default.
• W2023149698 hasConcept C191399111 @default.
• W2023149698 hasConcept C199343813 @default.
• W2023149698 hasConcept C199360897 @default.
• W2023149698 hasConcept C202444582 @default.
• W2023149698 hasConcept C2524010 @default.
• W2023149698 hasConcept C2777686260 @default.
• W2023149698 hasConcept C2779343474 @default.
• W2023149698 hasConcept C2780069185 @default.
• W2023149698 hasConcept C2780432614 @default.
• W2023149698 hasConcept C33923547 @default.
• W2023149698 hasConcept C41008148 @default.
• W2023149698 hasConcept C71924100 @default.
• W2023149698 hasConcept C80444323 @default.
• W2023149698 hasConcept C86803240 @default.
• W2023149698 hasConceptScore W2023149698C108710211 @default.
• W2023149698 hasConceptScore W2023149698C11413529 @default.
• W2023149698 hasConceptScore W2023149698C114614502 @default.
• W2023149698 hasConceptScore W2023149698C132074034 @default.
• W2023149698 hasConceptScore W2023149698C135315306 @default.
• W2023149698 hasConceptScore W2023149698C136119220 @default.
• W2023149698 hasConceptScore W2023149698C151730666 @default.
• W2023149698 hasConceptScore W2023149698C191399111 @default.
• W2023149698 hasConceptScore W2023149698C199343813 @default.
• W2023149698 hasConceptScore W2023149698C199360897 @default.
• W2023149698 hasConceptScore W2023149698C202444582 @default.
• W2023149698 hasConceptScore W2023149698C2524010 @default.
• W2023149698 hasConceptScore W2023149698C2777686260 @default.
• W2023149698 hasConceptScore W2023149698C2779343474 @default.
• W2023149698 hasConceptScore W2023149698C2780069185 @default.
• W2023149698 hasConceptScore W2023149698C2780432614 @default.
• W2023149698 hasConceptScore W2023149698C33923547 @default.
• W2023149698 hasConceptScore W2023149698C41008148 @default.
• W2023149698 hasConceptScore W2023149698C71924100 @default.
• W2023149698 hasConceptScore W2023149698C80444323 @default.
• W2023149698 hasConceptScore W2023149698C86803240 @default.

• next