Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027423863> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2027423863 endingPage "125" @default.
- W2027423863 startingPage "115" @default.
- W2027423863 abstract "Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and function call tracking. DCC uses a lattice of monads and a nonstandard typing rule for their associated bind operations to describe the dependency of computations in a program. Abadi et al. proved a noninterference theorem that establishes the correctness of DCC's type system and thus the correctness of the type systems for the analyses above.In this paper, we study the relationship between DCC and the Girard-Reynolds polymorphic lambda calculus (System F). We encode the recursion-free fragment of DCC into F via a type-directed translation. Our main theoretical result is that, following from the correctness of the translation, the parametricity theorem for F implies the noninterference theorem for DCC. In addition, the translation provides insights into DCC's type system and suggests implementation strategies of dependency calculi in polymorphic languages." @default.
- W2027423863 created "2016-06-24" @default.
- W2027423863 creator A5040820774 @default.
- W2027423863 creator A5041830534 @default.
- W2027423863 date "2004-09-19" @default.
- W2027423863 modified "2023-10-14" @default.
- W2027423863 title "Translating dependency into parametricity" @default.
- W2027423863 cites W1519566437 @default.
- W2027423863 cites W1968277829 @default.
- W2027423863 cites W1983077483 @default.
- W2027423863 cites W1997143185 @default.
- W2027423863 cites W2016017569 @default.
- W2027423863 cites W2021447352 @default.
- W2027423863 cites W2040669676 @default.
- W2027423863 cites W2057292961 @default.
- W2027423863 cites W2067012475 @default.
- W2027423863 cites W2122049982 @default.
- W2027423863 cites W2149996206 @default.
- W2027423863 cites W2150174204 @default.
- W2027423863 cites W2161246822 @default.
- W2027423863 cites W2168095934 @default.
- W2027423863 cites W4235392789 @default.
- W2027423863 doi "https://doi.org/10.1145/1016848.1016868" @default.
- W2027423863 hasPublicationYear "2004" @default.
- W2027423863 type Work @default.
- W2027423863 sameAs 2027423863 @default.
- W2027423863 citedByCount "34" @default.
- W2027423863 countsByYear W20274238632013 @default.
- W2027423863 countsByYear W20274238632015 @default.
- W2027423863 countsByYear W20274238632016 @default.
- W2027423863 countsByYear W20274238632017 @default.
- W2027423863 countsByYear W20274238632018 @default.
- W2027423863 countsByYear W20274238632019 @default.
- W2027423863 countsByYear W20274238632020 @default.
- W2027423863 countsByYear W20274238632021 @default.
- W2027423863 countsByYear W20274238632023 @default.
- W2027423863 crossrefType "journal-article" @default.
- W2027423863 hasAuthorship W2027423863A5040820774 @default.
- W2027423863 hasAuthorship W2027423863A5041830534 @default.
- W2027423863 hasConcept C135790938 @default.
- W2027423863 hasConcept C199360897 @default.
- W2027423863 hasConcept C41008148 @default.
- W2027423863 hasConcept C55128367 @default.
- W2027423863 hasConcept C55439883 @default.
- W2027423863 hasConcept C80444323 @default.
- W2027423863 hasConceptScore W2027423863C135790938 @default.
- W2027423863 hasConceptScore W2027423863C199360897 @default.
- W2027423863 hasConceptScore W2027423863C41008148 @default.
- W2027423863 hasConceptScore W2027423863C55128367 @default.
- W2027423863 hasConceptScore W2027423863C55439883 @default.
- W2027423863 hasConceptScore W2027423863C80444323 @default.
- W2027423863 hasIssue "9" @default.
- W2027423863 hasLocation W20274238631 @default.
- W2027423863 hasOpenAccess W2027423863 @default.
- W2027423863 hasPrimaryLocation W20274238631 @default.
- W2027423863 hasRelatedWork W1550247298 @default.
- W2027423863 hasRelatedWork W1562483556 @default.
- W2027423863 hasRelatedWork W1989642656 @default.
- W2027423863 hasRelatedWork W2129762978 @default.
- W2027423863 hasRelatedWork W2153006281 @default.
- W2027423863 hasRelatedWork W2171943308 @default.
- W2027423863 hasRelatedWork W2475253967 @default.
- W2027423863 hasRelatedWork W2569291564 @default.
- W2027423863 hasRelatedWork W4238823939 @default.
- W2027423863 hasRelatedWork W2789178056 @default.
- W2027423863 hasVolume "39" @default.
- W2027423863 isParatext "false" @default.
- W2027423863 isRetracted "false" @default.
- W2027423863 magId "2027423863" @default.
- W2027423863 workType "article" @default.