Matches in SemOpenAlex for { <https://semopenalex.org/work/W1591936705> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1591936705 abstract "We show how security type systems from the literature of language-based noninterference can be represented more directly as predicates defined by structural recursion on the programs. In this context, we show how our uniform syntactic criteria from previous work cover several previous type-system soundness results." @default.
- W1591936705 created "2016-06-24" @default.
- W1591936705 creator A5064907118 @default.
- W1591936705 date "2013-08-15" @default.
- W1591936705 modified "2023-09-27" @default.
- W1591936705 title "Security Type Systems as Recursive Predicates" @default.
- W1591936705 cites W1733170706 @default.
- W1591936705 cites W2100050463 @default.
- W1591936705 cites W2102870251 @default.
- W1591936705 cites W2105443119 @default.
- W1591936705 cites W2141126977 @default.
- W1591936705 cites W2168753065 @default.
- W1591936705 hasPublicationYear "2013" @default.
- W1591936705 type Work @default.
- W1591936705 sameAs 1591936705 @default.
- W1591936705 citedByCount "1" @default.
- W1591936705 countsByYear W15919367052013 @default.
- W1591936705 crossrefType "posted-content" @default.
- W1591936705 hasAuthorship W1591936705A5064907118 @default.
- W1591936705 hasConcept C127413603 @default.
- W1591936705 hasConcept C154945302 @default.
- W1591936705 hasConcept C166957645 @default.
- W1591936705 hasConcept C168773036 @default.
- W1591936705 hasConcept C18903297 @default.
- W1591936705 hasConcept C198370458 @default.
- W1591936705 hasConcept C199360897 @default.
- W1591936705 hasConcept C204321447 @default.
- W1591936705 hasConcept C2776214188 @default.
- W1591936705 hasConcept C2777299769 @default.
- W1591936705 hasConcept C2779343474 @default.
- W1591936705 hasConcept C2780428219 @default.
- W1591936705 hasConcept C39920170 @default.
- W1591936705 hasConcept C41008148 @default.
- W1591936705 hasConcept C78519656 @default.
- W1591936705 hasConcept C80444323 @default.
- W1591936705 hasConcept C86803240 @default.
- W1591936705 hasConcept C93682546 @default.
- W1591936705 hasConcept C95457728 @default.
- W1591936705 hasConceptScore W1591936705C127413603 @default.
- W1591936705 hasConceptScore W1591936705C154945302 @default.
- W1591936705 hasConceptScore W1591936705C166957645 @default.
- W1591936705 hasConceptScore W1591936705C168773036 @default.
- W1591936705 hasConceptScore W1591936705C18903297 @default.
- W1591936705 hasConceptScore W1591936705C198370458 @default.
- W1591936705 hasConceptScore W1591936705C199360897 @default.
- W1591936705 hasConceptScore W1591936705C204321447 @default.
- W1591936705 hasConceptScore W1591936705C2776214188 @default.
- W1591936705 hasConceptScore W1591936705C2777299769 @default.
- W1591936705 hasConceptScore W1591936705C2779343474 @default.
- W1591936705 hasConceptScore W1591936705C2780428219 @default.
- W1591936705 hasConceptScore W1591936705C39920170 @default.
- W1591936705 hasConceptScore W1591936705C41008148 @default.
- W1591936705 hasConceptScore W1591936705C78519656 @default.
- W1591936705 hasConceptScore W1591936705C80444323 @default.
- W1591936705 hasConceptScore W1591936705C86803240 @default.
- W1591936705 hasConceptScore W1591936705C93682546 @default.
- W1591936705 hasConceptScore W1591936705C95457728 @default.
- W1591936705 hasLocation W15919367051 @default.
- W1591936705 hasOpenAccess W1591936705 @default.
- W1591936705 hasPrimaryLocation W15919367051 @default.
- W1591936705 hasRelatedWork W144850422 @default.
- W1591936705 hasRelatedWork W1503676575 @default.
- W1591936705 hasRelatedWork W1701167083 @default.
- W1591936705 hasRelatedWork W1970880979 @default.
- W1591936705 hasRelatedWork W2045669782 @default.
- W1591936705 hasRelatedWork W2060914009 @default.
- W1591936705 hasRelatedWork W2068639451 @default.
- W1591936705 hasRelatedWork W2072848753 @default.
- W1591936705 hasRelatedWork W2113029157 @default.
- W1591936705 hasRelatedWork W2137445067 @default.
- W1591936705 hasRelatedWork W2138457764 @default.
- W1591936705 hasRelatedWork W2157449268 @default.
- W1591936705 hasRelatedWork W2165434002 @default.
- W1591936705 hasRelatedWork W2169776427 @default.
- W1591936705 hasRelatedWork W2530147817 @default.
- W1591936705 hasRelatedWork W2914544883 @default.
- W1591936705 hasRelatedWork W2995075587 @default.
- W1591936705 hasRelatedWork W3103063427 @default.
- W1591936705 hasRelatedWork W3114212704 @default.
- W1591936705 hasRelatedWork W39310748 @default.
- W1591936705 isParatext "false" @default.
- W1591936705 isRetracted "false" @default.
- W1591936705 magId "1591936705" @default.
- W1591936705 workType "article" @default.