Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055351465> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2055351465 endingPage "28" @default.
- W2055351465 startingPage "3" @default.
- W2055351465 abstract "In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol." @default.
- W2055351465 created "2016-06-24" @default.
- W2055351465 creator A5013673413 @default.
- W2055351465 creator A5013709529 @default.
- W2055351465 creator A5020557587 @default.
- W2055351465 date "2002-04-01" @default.
- W2055351465 modified "2023-09-26" @default.
- W2055351465 title "Information flow for Algol-like languages" @default.
- W2055351465 cites W1486211078 @default.
- W2055351465 cites W1989635597 @default.
- W2055351465 cites W2023931614 @default.
- W2055351465 cites W2094873755 @default.
- W2055351465 cites W2116647386 @default.
- W2055351465 cites W2156942472 @default.
- W2055351465 cites W2168686464 @default.
- W2055351465 cites W2168753065 @default.
- W2055351465 doi "https://doi.org/10.1016/s0096-0551(02)00006-1" @default.
- W2055351465 hasPublicationYear "2002" @default.
- W2055351465 type Work @default.
- W2055351465 sameAs 2055351465 @default.
- W2055351465 citedByCount "28" @default.
- W2055351465 countsByYear W20553514652014 @default.
- W2055351465 countsByYear W20553514652018 @default.
- W2055351465 countsByYear W20553514652019 @default.
- W2055351465 countsByYear W20553514652020 @default.
- W2055351465 countsByYear W20553514652021 @default.
- W2055351465 crossrefType "journal-article" @default.
- W2055351465 hasAuthorship W2055351465A5013673413 @default.
- W2055351465 hasAuthorship W2055351465A5013709529 @default.
- W2055351465 hasAuthorship W2055351465A5020557587 @default.
- W2055351465 hasConcept C108710211 @default.
- W2055351465 hasConcept C111472728 @default.
- W2055351465 hasConcept C138885662 @default.
- W2055351465 hasConcept C154945302 @default.
- W2055351465 hasConcept C168773036 @default.
- W2055351465 hasConcept C199360897 @default.
- W2055351465 hasConcept C2524010 @default.
- W2055351465 hasConcept C2778029271 @default.
- W2055351465 hasConcept C2779136372 @default.
- W2055351465 hasConcept C2780586882 @default.
- W2055351465 hasConcept C33923547 @default.
- W2055351465 hasConcept C41008148 @default.
- W2055351465 hasConcept C41895202 @default.
- W2055351465 hasConcept C49937458 @default.
- W2055351465 hasConcept C55439883 @default.
- W2055351465 hasConcept C80444323 @default.
- W2055351465 hasConceptScore W2055351465C108710211 @default.
- W2055351465 hasConceptScore W2055351465C111472728 @default.
- W2055351465 hasConceptScore W2055351465C138885662 @default.
- W2055351465 hasConceptScore W2055351465C154945302 @default.
- W2055351465 hasConceptScore W2055351465C168773036 @default.
- W2055351465 hasConceptScore W2055351465C199360897 @default.
- W2055351465 hasConceptScore W2055351465C2524010 @default.
- W2055351465 hasConceptScore W2055351465C2778029271 @default.
- W2055351465 hasConceptScore W2055351465C2779136372 @default.
- W2055351465 hasConceptScore W2055351465C2780586882 @default.
- W2055351465 hasConceptScore W2055351465C33923547 @default.
- W2055351465 hasConceptScore W2055351465C41008148 @default.
- W2055351465 hasConceptScore W2055351465C41895202 @default.
- W2055351465 hasConceptScore W2055351465C49937458 @default.
- W2055351465 hasConceptScore W2055351465C55439883 @default.
- W2055351465 hasConceptScore W2055351465C80444323 @default.
- W2055351465 hasIssue "1" @default.
- W2055351465 hasLocation W20553514651 @default.
- W2055351465 hasOpenAccess W2055351465 @default.
- W2055351465 hasPrimaryLocation W20553514651 @default.
- W2055351465 hasRelatedWork W1019628555 @default.
- W2055351465 hasRelatedWork W147241645 @default.
- W2055351465 hasRelatedWork W1504113557 @default.
- W2055351465 hasRelatedWork W2053237764 @default.
- W2055351465 hasRelatedWork W2107399212 @default.
- W2055351465 hasRelatedWork W2116536633 @default.
- W2055351465 hasRelatedWork W2580401938 @default.
- W2055351465 hasRelatedWork W3058496930 @default.
- W2055351465 hasRelatedWork W4246535868 @default.
- W2055351465 hasRelatedWork W4291371193 @default.
- W2055351465 hasVolume "28" @default.
- W2055351465 isParatext "false" @default.
- W2055351465 isRetracted "false" @default.
- W2055351465 magId "2055351465" @default.
- W2055351465 workType "article" @default.