Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140207165> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2140207165 abstract "Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However, when types can be inspected at run time, nothing is secret. A module writer cannot use type abstraction to hide implementation details from clients: clients can determine the structure of these supposedly abstract data types. Furthermore, access control mechanisms do not help isolate the implementation of abstract datatypes from their clients. Buggy or malicious authorized modules may leak type information to unauthorized clients, so module implementors cannot reliably tell which parts of a program rely on their type definitions. Currently, module implementors rely on parametric polymorphism to provide integrity and confidentiality guarantees about their abstract datatypes. However, standard parametricity does not hold for languages with run-time type analysis; this paper shows how to generalize parametricity so that it does. The key is to augment the type system with annotations about information-flow. Implementors can then easily see which parts of a program depend on the chosen implementation by tracking the flow of dynamic type information." @default.
- W2140207165 created "2016-06-24" @default.
- W2140207165 creator A5032324538 @default.
- W2140207165 creator A5049220962 @default.
- W2140207165 date "2006-10-11" @default.
- W2140207165 modified "2023-10-18" @default.
- W2140207165 title "Generalizing Parametricity Using Information-flow" @default.
- W2140207165 cites W1961998804 @default.
- W2140207165 cites W1980939032 @default.
- W2140207165 cites W1987203566 @default.
- W2140207165 cites W2016017569 @default.
- W2140207165 cites W2022407453 @default.
- W2140207165 cites W2030916392 @default.
- W2140207165 cites W2037881889 @default.
- W2140207165 cites W2057292961 @default.
- W2140207165 cites W2060029146 @default.
- W2140207165 cites W2067012475 @default.
- W2140207165 cites W2094873755 @default.
- W2140207165 cites W2127347132 @default.
- W2140207165 cites W2140207165 @default.
- W2140207165 cites W2149412346 @default.
- W2140207165 cites W2150174204 @default.
- W2140207165 cites W2154564703 @default.
- W2140207165 cites W4235129884 @default.
- W2140207165 doi "https://doi.org/10.1109/lics.2005.20" @default.
- W2140207165 hasPublicationYear "2006" @default.
- W2140207165 type Work @default.
- W2140207165 sameAs 2140207165 @default.
- W2140207165 citedByCount "19" @default.
- W2140207165 countsByYear W21402071652019 @default.
- W2140207165 countsByYear W21402071652020 @default.
- W2140207165 crossrefType "proceedings-article" @default.
- W2140207165 hasAuthorship W2140207165A5032324538 @default.
- W2140207165 hasAuthorship W2140207165A5049220962 @default.
- W2140207165 hasBestOaLocation W21402071652 @default.
- W2140207165 hasConcept C111919701 @default.
- W2140207165 hasConcept C138885662 @default.
- W2140207165 hasConcept C160191386 @default.
- W2140207165 hasConcept C162319229 @default.
- W2140207165 hasConcept C175971053 @default.
- W2140207165 hasConcept C18903297 @default.
- W2140207165 hasConcept C199360897 @default.
- W2140207165 hasConcept C26517878 @default.
- W2140207165 hasConcept C2777299769 @default.
- W2140207165 hasConcept C2779136372 @default.
- W2140207165 hasConcept C41008148 @default.
- W2140207165 hasConcept C41895202 @default.
- W2140207165 hasConcept C52723943 @default.
- W2140207165 hasConcept C86803240 @default.
- W2140207165 hasConcept C93682546 @default.
- W2140207165 hasConceptScore W2140207165C111919701 @default.
- W2140207165 hasConceptScore W2140207165C138885662 @default.
- W2140207165 hasConceptScore W2140207165C160191386 @default.
- W2140207165 hasConceptScore W2140207165C162319229 @default.
- W2140207165 hasConceptScore W2140207165C175971053 @default.
- W2140207165 hasConceptScore W2140207165C18903297 @default.
- W2140207165 hasConceptScore W2140207165C199360897 @default.
- W2140207165 hasConceptScore W2140207165C26517878 @default.
- W2140207165 hasConceptScore W2140207165C2777299769 @default.
- W2140207165 hasConceptScore W2140207165C2779136372 @default.
- W2140207165 hasConceptScore W2140207165C41008148 @default.
- W2140207165 hasConceptScore W2140207165C41895202 @default.
- W2140207165 hasConceptScore W2140207165C52723943 @default.
- W2140207165 hasConceptScore W2140207165C86803240 @default.
- W2140207165 hasConceptScore W2140207165C93682546 @default.
- W2140207165 hasLocation W21402071651 @default.
- W2140207165 hasLocation W21402071652 @default.
- W2140207165 hasOpenAccess W2140207165 @default.
- W2140207165 hasPrimaryLocation W21402071651 @default.
- W2140207165 hasRelatedWork W1480879962 @default.
- W2140207165 hasRelatedWork W2140207165 @default.
- W2140207165 hasRelatedWork W2154470298 @default.
- W2140207165 hasRelatedWork W2375174984 @default.
- W2140207165 hasRelatedWork W2905311136 @default.
- W2140207165 hasRelatedWork W3160136729 @default.
- W2140207165 hasRelatedWork W32572471 @default.
- W2140207165 hasRelatedWork W4229928981 @default.
- W2140207165 hasRelatedWork W4233387348 @default.
- W2140207165 hasRelatedWork W4243252198 @default.
- W2140207165 isParatext "false" @default.
- W2140207165 isRetracted "false" @default.
- W2140207165 magId "2140207165" @default.
- W2140207165 workType "article" @default.