Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016151395> ?p ?o ?g. }
- W3016151395 abstract "We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive laws can potentially be a viable alternative for compiler security instead of full abstraction, which is the preservation and reflection of contextual equivalence. To that end, we also make use of the well-behavedness properties of distributive laws to construct a categorical argument for the contextual connotations of bisimilarity." @default.
- W3016151395 created "2020-04-17" @default.
- W3016151395 creator A5008329832 @default.
- W3016151395 creator A5011654888 @default.
- W3016151395 creator A5036983503 @default.
- W3016151395 creator A5084261876 @default.
- W3016151395 date "2020-04-07" @default.
- W3016151395 modified "2023-09-23" @default.
- W3016151395 title "A categorical approach to secure compilation" @default.
- W3016151395 cites W1509057155 @default.
- W3016151395 cites W1606993440 @default.
- W3016151395 cites W1613463432 @default.
- W3016151395 cites W1842129829 @default.
- W3016151395 cites W1853270983 @default.
- W3016151395 cites W1904738922 @default.
- W3016151395 cites W1968412195 @default.
- W3016151395 cites W1969279113 @default.
- W3016151395 cites W1969600954 @default.
- W3016151395 cites W1970567418 @default.
- W3016151395 cites W1999706742 @default.
- W3016151395 cites W2046697462 @default.
- W3016151395 cites W2056143164 @default.
- W3016151395 cites W2057843304 @default.
- W3016151395 cites W2076640573 @default.
- W3016151395 cites W2079640625 @default.
- W3016151395 cites W2101032471 @default.
- W3016151395 cites W2108416936 @default.
- W3016151395 cites W2118229393 @default.
- W3016151395 cites W2119231401 @default.
- W3016151395 cites W2123329569 @default.
- W3016151395 cites W2126979663 @default.
- W3016151395 cites W2127279435 @default.
- W3016151395 cites W2127625071 @default.
- W3016151395 cites W2135434676 @default.
- W3016151395 cites W2141568518 @default.
- W3016151395 cites W2155543417 @default.
- W3016151395 cites W2161938947 @default.
- W3016151395 cites W2168743513 @default.
- W3016151395 cites W2293692853 @default.
- W3016151395 cites W2334461604 @default.
- W3016151395 cites W2397423248 @default.
- W3016151395 cites W2509988922 @default.
- W3016151395 cites W2514838807 @default.
- W3016151395 cites W2606036170 @default.
- W3016151395 cites W2785521635 @default.
- W3016151395 cites W2796499075 @default.
- W3016151395 cites W2898994781 @default.
- W3016151395 cites W2900137615 @default.
- W3016151395 cites W2903302024 @default.
- W3016151395 cites W2912312736 @default.
- W3016151395 cites W2935586798 @default.
- W3016151395 cites W2962785744 @default.
- W3016151395 cites W2966793605 @default.
- W3016151395 cites W2971753713 @default.
- W3016151395 cites W814461068 @default.
- W3016151395 cites W838216044 @default.
- W3016151395 hasPublicationYear "2020" @default.
- W3016151395 type Work @default.
- W3016151395 sameAs 3016151395 @default.
- W3016151395 citedByCount "0" @default.
- W3016151395 crossrefType "posted-content" @default.
- W3016151395 hasAuthorship W3016151395A5008329832 @default.
- W3016151395 hasAuthorship W3016151395A5011654888 @default.
- W3016151395 hasAuthorship W3016151395A5036983503 @default.
- W3016151395 hasAuthorship W3016151395A5084261876 @default.
- W3016151395 hasConcept C105795698 @default.
- W3016151395 hasConcept C111472728 @default.
- W3016151395 hasConcept C11821877 @default.
- W3016151395 hasConcept C119857082 @default.
- W3016151395 hasConcept C124304363 @default.
- W3016151395 hasConcept C138885662 @default.
- W3016151395 hasConcept C169590947 @default.
- W3016151395 hasConcept C185592680 @default.
- W3016151395 hasConcept C199360897 @default.
- W3016151395 hasConcept C202444582 @default.
- W3016151395 hasConcept C2780069185 @default.
- W3016151395 hasConcept C2780801425 @default.
- W3016151395 hasConcept C2781181686 @default.
- W3016151395 hasConcept C33923547 @default.
- W3016151395 hasConcept C41008148 @default.
- W3016151395 hasConcept C5274069 @default.
- W3016151395 hasConcept C55493867 @default.
- W3016151395 hasConcept C80444323 @default.
- W3016151395 hasConcept C98184364 @default.
- W3016151395 hasConceptScore W3016151395C105795698 @default.
- W3016151395 hasConceptScore W3016151395C111472728 @default.
- W3016151395 hasConceptScore W3016151395C11821877 @default.
- W3016151395 hasConceptScore W3016151395C119857082 @default.
- W3016151395 hasConceptScore W3016151395C124304363 @default.
- W3016151395 hasConceptScore W3016151395C138885662 @default.
- W3016151395 hasConceptScore W3016151395C169590947 @default.
- W3016151395 hasConceptScore W3016151395C185592680 @default.
- W3016151395 hasConceptScore W3016151395C199360897 @default.
- W3016151395 hasConceptScore W3016151395C202444582 @default.
- W3016151395 hasConceptScore W3016151395C2780069185 @default.
- W3016151395 hasConceptScore W3016151395C2780801425 @default.
- W3016151395 hasConceptScore W3016151395C2781181686 @default.
- W3016151395 hasConceptScore W3016151395C33923547 @default.
- W3016151395 hasConceptScore W3016151395C41008148 @default.
- W3016151395 hasConceptScore W3016151395C5274069 @default.