Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912758053> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2912758053 abstract "This dissertation is concerned with the study of program equivalence and algebraic effects as they arise in the theory of programming languages. Algebraic effects represent impure behaviour in a functional programming language, such as input and output, exceptions, nondeterminism etc. all treated in a generic way. Program equivalence aims to identify which programs can be considered equal in some sense. This question has been studied for a long time but has only recently been extended to languages with algebraic effects, which are a newer development. Much work remains to be done in order to understand program equivalence in the presence of algebraic effects. In particular, there is no characterisation of contextual equivalence using a logic. We define a logic whose formulas express properties of higher-order programs with algebraic effects. We then investigate three notions of program equivalence for algebraic effects: logical equivalence induced by the aforementioned logic, applicative bisimilarity and contextual equivalence. For the programming language used in this dissertation, we prove that they all coincide. Therefore, the main novel contribution of the dissertation is defining the first logic for algebraic effects whose induced program equivalence coincides with contextual equivalence." @default.
- W2912758053 created "2019-02-21" @default.
- W2912758053 creator A5086036411 @default.
- W2912758053 date "2019-02-12" @default.
- W2912758053 modified "2023-09-27" @default.
- W2912758053 title "Program Equivalence for Algebraic Effects via Modalities" @default.
- W2912758053 cites W102024464 @default.
- W2912758053 cites W136487247 @default.
- W2912758053 cites W1491719272 @default.
- W2912758053 cites W1508489761 @default.
- W2912758053 cites W1521014576 @default.
- W2912758053 cites W1523424177 @default.
- W2912758053 cites W1549750188 @default.
- W2912758053 cites W159715351 @default.
- W2912758053 cites W1604099552 @default.
- W2912758053 cites W1808214913 @default.
- W2912758053 cites W1911591902 @default.
- W2912758053 cites W1971906578 @default.
- W2912758053 cites W1978469611 @default.
- W2912758053 cites W1980827618 @default.
- W2912758053 cites W1992889841 @default.
- W2912758053 cites W1997143185 @default.
- W2912758053 cites W2007270285 @default.
- W2912758053 cites W2015640848 @default.
- W2912758053 cites W2023808162 @default.
- W2912758053 cites W2060852846 @default.
- W2912758053 cites W2092367588 @default.
- W2912758053 cites W2104795876 @default.
- W2912758053 cites W2126748053 @default.
- W2912758053 cites W2135287414 @default.
- W2912758053 cites W2137451090 @default.
- W2912758053 cites W2141568518 @default.
- W2912758053 cites W2149837936 @default.
- W2912758053 cites W2153644103 @default.
- W2912758053 cites W2156268797 @default.
- W2912758053 cites W2170114248 @default.
- W2912758053 cites W2608295324 @default.
- W2912758053 cites W2621071150 @default.
- W2912758053 cites W2730211708 @default.
- W2912758053 cites W2743053213 @default.
- W2912758053 cites W2797640271 @default.
- W2912758053 cites W814461068 @default.
- W2912758053 cites W2462465651 @default.
- W2912758053 hasPublicationYear "2019" @default.
- W2912758053 type Work @default.
- W2912758053 sameAs 2912758053 @default.
- W2912758053 citedByCount "0" @default.
- W2912758053 crossrefType "posted-content" @default.
- W2912758053 hasAuthorship W2912758053A5086036411 @default.
- W2912758053 hasConcept C118615104 @default.
- W2912758053 hasConcept C128838566 @default.
- W2912758053 hasConcept C134306372 @default.
- W2912758053 hasConcept C136119220 @default.
- W2912758053 hasConcept C199360897 @default.
- W2912758053 hasConcept C202444582 @default.
- W2912758053 hasConcept C2780069185 @default.
- W2912758053 hasConcept C33923547 @default.
- W2912758053 hasConcept C41008148 @default.
- W2912758053 hasConcept C70846408 @default.
- W2912758053 hasConcept C9376300 @default.
- W2912758053 hasConceptScore W2912758053C118615104 @default.
- W2912758053 hasConceptScore W2912758053C128838566 @default.
- W2912758053 hasConceptScore W2912758053C134306372 @default.
- W2912758053 hasConceptScore W2912758053C136119220 @default.
- W2912758053 hasConceptScore W2912758053C199360897 @default.
- W2912758053 hasConceptScore W2912758053C202444582 @default.
- W2912758053 hasConceptScore W2912758053C2780069185 @default.
- W2912758053 hasConceptScore W2912758053C33923547 @default.
- W2912758053 hasConceptScore W2912758053C41008148 @default.
- W2912758053 hasConceptScore W2912758053C70846408 @default.
- W2912758053 hasConceptScore W2912758053C9376300 @default.
- W2912758053 hasLocation W29127580531 @default.
- W2912758053 hasOpenAccess W2912758053 @default.
- W2912758053 hasPrimaryLocation W29127580531 @default.
- W2912758053 hasRelatedWork W1735825634 @default.
- W2912758053 hasRelatedWork W1759774365 @default.
- W2912758053 hasRelatedWork W1978469611 @default.
- W2912758053 hasRelatedWork W1996152169 @default.
- W2912758053 hasRelatedWork W2017551801 @default.
- W2912758053 hasRelatedWork W2164262222 @default.
- W2912758053 hasRelatedWork W2167949883 @default.
- W2912758053 hasRelatedWork W2178463746 @default.
- W2912758053 hasRelatedWork W2216433683 @default.
- W2912758053 hasRelatedWork W2397739427 @default.
- W2912758053 hasRelatedWork W2926572242 @default.
- W2912758053 hasRelatedWork W2940475269 @default.
- W2912758053 hasRelatedWork W2943936533 @default.
- W2912758053 hasRelatedWork W2951218816 @default.
- W2912758053 hasRelatedWork W2951937111 @default.
- W2912758053 hasRelatedWork W2989806547 @default.
- W2912758053 hasRelatedWork W3021797697 @default.
- W2912758053 hasRelatedWork W3099674312 @default.
- W2912758053 hasRelatedWork W3025707570 @default.
- W2912758053 hasRelatedWork W3089321352 @default.
- W2912758053 isParatext "false" @default.
- W2912758053 isRetracted "false" @default.
- W2912758053 magId "2912758053" @default.
- W2912758053 workType "article" @default.