Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015479064> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2015479064 abstract "We combine the type error slicing and heuristics based approaches to type error diagnostic improvement within the context of type based security analysis on a let-polymorphic call by value lambda calculus extended with lists, pairs and the security specific constructs declassify and protect. We define and motivate four classes of heuristics that help diagnose inconsistencies among the constraints, and show their effect on a selection of security incorrect programs." @default.
- W2015479064 created "2016-06-24" @default.
- W2015479064 creator A5007122961 @default.
- W2015479064 creator A5031844778 @default.
- W2015479064 creator A5035393954 @default.
- W2015479064 date "2013-01-21" @default.
- W2015479064 modified "2023-09-28" @default.
- W2015479064 title "Security type error diagnosis for higher-order, polymorphic languages" @default.
- W2015479064 cites W2016017569 @default.
- W2015479064 cites W2027961147 @default.
- W2015479064 cites W2044768460 @default.
- W2015479064 cites W2046137117 @default.
- W2015479064 cites W2053553588 @default.
- W2015479064 cites W2056310485 @default.
- W2015479064 cites W2061056245 @default.
- W2015479064 cites W2067012475 @default.
- W2015479064 cites W2068336423 @default.
- W2015479064 cites W2122049982 @default.
- W2015479064 cites W2122537103 @default.
- W2015479064 cites W2131809313 @default.
- W2015479064 cites W2142931032 @default.
- W2015479064 cites W2163976959 @default.
- W2015479064 cites W2166414999 @default.
- W2015479064 cites W4241497207 @default.
- W2015479064 doi "https://doi.org/10.1145/2426890.2426894" @default.
- W2015479064 hasPublicationYear "2013" @default.
- W2015479064 type Work @default.
- W2015479064 sameAs 2015479064 @default.
- W2015479064 citedByCount "7" @default.
- W2015479064 countsByYear W20154790642013 @default.
- W2015479064 countsByYear W20154790642014 @default.
- W2015479064 countsByYear W20154790642017 @default.
- W2015479064 countsByYear W20154790642020 @default.
- W2015479064 crossrefType "proceedings-article" @default.
- W2015479064 hasAuthorship W2015479064A5007122961 @default.
- W2015479064 hasAuthorship W2015479064A5031844778 @default.
- W2015479064 hasAuthorship W2015479064A5035393954 @default.
- W2015479064 hasConcept C111919701 @default.
- W2015479064 hasConcept C127705205 @default.
- W2015479064 hasConcept C136764020 @default.
- W2015479064 hasConcept C151730666 @default.
- W2015479064 hasConcept C154945302 @default.
- W2015479064 hasConcept C173801870 @default.
- W2015479064 hasConcept C18903297 @default.
- W2015479064 hasConcept C199360897 @default.
- W2015479064 hasConcept C204321447 @default.
- W2015479064 hasConcept C2776190703 @default.
- W2015479064 hasConcept C2777299769 @default.
- W2015479064 hasConcept C2779343474 @default.
- W2015479064 hasConcept C41008148 @default.
- W2015479064 hasConcept C80444323 @default.
- W2015479064 hasConcept C81917197 @default.
- W2015479064 hasConcept C86803240 @default.
- W2015479064 hasConceptScore W2015479064C111919701 @default.
- W2015479064 hasConceptScore W2015479064C127705205 @default.
- W2015479064 hasConceptScore W2015479064C136764020 @default.
- W2015479064 hasConceptScore W2015479064C151730666 @default.
- W2015479064 hasConceptScore W2015479064C154945302 @default.
- W2015479064 hasConceptScore W2015479064C173801870 @default.
- W2015479064 hasConceptScore W2015479064C18903297 @default.
- W2015479064 hasConceptScore W2015479064C199360897 @default.
- W2015479064 hasConceptScore W2015479064C204321447 @default.
- W2015479064 hasConceptScore W2015479064C2776190703 @default.
- W2015479064 hasConceptScore W2015479064C2777299769 @default.
- W2015479064 hasConceptScore W2015479064C2779343474 @default.
- W2015479064 hasConceptScore W2015479064C41008148 @default.
- W2015479064 hasConceptScore W2015479064C80444323 @default.
- W2015479064 hasConceptScore W2015479064C81917197 @default.
- W2015479064 hasConceptScore W2015479064C86803240 @default.
- W2015479064 hasLocation W20154790641 @default.
- W2015479064 hasOpenAccess W2015479064 @default.
- W2015479064 hasPrimaryLocation W20154790641 @default.
- W2015479064 hasRelatedWork W2112962394 @default.
- W2015479064 hasRelatedWork W2118300983 @default.
- W2015479064 hasRelatedWork W2354354754 @default.
- W2015479064 hasRelatedWork W2884576438 @default.
- W2015479064 hasRelatedWork W3117022603 @default.
- W2015479064 hasRelatedWork W3125143773 @default.
- W2015479064 hasRelatedWork W3137189469 @default.
- W2015479064 hasRelatedWork W3177062893 @default.
- W2015479064 hasRelatedWork W3209234034 @default.
- W2015479064 hasRelatedWork W4243252198 @default.
- W2015479064 isParatext "false" @default.
- W2015479064 isRetracted "false" @default.
- W2015479064 magId "2015479064" @default.
- W2015479064 workType "article" @default.