Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993302007> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1993302007 endingPage "76" @default.
- W1993302007 startingPage "56" @default.
- W1993302007 abstract "A new approach to information flow in sequential and parallel programs is presented. Flow proof rules that capture the information flow semantics of a variety of statements are given and used to construct program flow proofs. The method is illustrated by examples. The applications of flow proofs to certifying information flow policies and to solving the confinement problem are considered. It is also shown that flow rules and correctness rules can be combined to form an even more powerful proof system." @default.
- W1993302007 created "2016-06-24" @default.
- W1993302007 creator A5010127453 @default.
- W1993302007 creator A5088546227 @default.
- W1993302007 date "1980-01-01" @default.
- W1993302007 modified "2023-10-17" @default.
- W1993302007 title "An Axiomatic Approach to Information Flow in Programs" @default.
- W1993302007 cites W1964727056 @default.
- W1993302007 cites W2025429468 @default.
- W1993302007 cites W2027418104 @default.
- W1993302007 cites W2053409086 @default.
- W1993302007 cites W2094873755 @default.
- W1993302007 cites W2099137371 @default.
- W1993302007 cites W2129278597 @default.
- W1993302007 cites W2131791649 @default.
- W1993302007 cites W2166780994 @default.
- W1993302007 cites W2987907651 @default.
- W1993302007 cites W4238033972 @default.
- W1993302007 doi "https://doi.org/10.1145/357084.357088" @default.
- W1993302007 hasPublicationYear "1980" @default.
- W1993302007 type Work @default.
- W1993302007 sameAs 1993302007 @default.
- W1993302007 citedByCount "149" @default.
- W1993302007 countsByYear W19933020072012 @default.
- W1993302007 countsByYear W19933020072013 @default.
- W1993302007 countsByYear W19933020072014 @default.
- W1993302007 countsByYear W19933020072015 @default.
- W1993302007 countsByYear W19933020072016 @default.
- W1993302007 countsByYear W19933020072017 @default.
- W1993302007 countsByYear W19933020072018 @default.
- W1993302007 countsByYear W19933020072019 @default.
- W1993302007 countsByYear W19933020072020 @default.
- W1993302007 countsByYear W19933020072021 @default.
- W1993302007 countsByYear W19933020072022 @default.
- W1993302007 countsByYear W19933020072023 @default.
- W1993302007 crossrefType "journal-article" @default.
- W1993302007 hasAuthorship W1993302007A5010127453 @default.
- W1993302007 hasAuthorship W1993302007A5088546227 @default.
- W1993302007 hasBestOaLocation W19933020071 @default.
- W1993302007 hasConcept C108710211 @default.
- W1993302007 hasConcept C11413529 @default.
- W1993302007 hasConcept C138885662 @default.
- W1993302007 hasConcept C167729594 @default.
- W1993302007 hasConcept C184337299 @default.
- W1993302007 hasConcept C199360897 @default.
- W1993302007 hasConcept C2524010 @default.
- W1993302007 hasConcept C2779136372 @default.
- W1993302007 hasConcept C2780801425 @default.
- W1993302007 hasConcept C33923547 @default.
- W1993302007 hasConcept C38349280 @default.
- W1993302007 hasConcept C39920170 @default.
- W1993302007 hasConcept C41008148 @default.
- W1993302007 hasConcept C41895202 @default.
- W1993302007 hasConcept C489000 @default.
- W1993302007 hasConcept C55439883 @default.
- W1993302007 hasConcept C77088390 @default.
- W1993302007 hasConcept C80444323 @default.
- W1993302007 hasConcept C88468194 @default.
- W1993302007 hasConceptScore W1993302007C108710211 @default.
- W1993302007 hasConceptScore W1993302007C11413529 @default.
- W1993302007 hasConceptScore W1993302007C138885662 @default.
- W1993302007 hasConceptScore W1993302007C167729594 @default.
- W1993302007 hasConceptScore W1993302007C184337299 @default.
- W1993302007 hasConceptScore W1993302007C199360897 @default.
- W1993302007 hasConceptScore W1993302007C2524010 @default.
- W1993302007 hasConceptScore W1993302007C2779136372 @default.
- W1993302007 hasConceptScore W1993302007C2780801425 @default.
- W1993302007 hasConceptScore W1993302007C33923547 @default.
- W1993302007 hasConceptScore W1993302007C38349280 @default.
- W1993302007 hasConceptScore W1993302007C39920170 @default.
- W1993302007 hasConceptScore W1993302007C41008148 @default.
- W1993302007 hasConceptScore W1993302007C41895202 @default.
- W1993302007 hasConceptScore W1993302007C489000 @default.
- W1993302007 hasConceptScore W1993302007C55439883 @default.
- W1993302007 hasConceptScore W1993302007C77088390 @default.
- W1993302007 hasConceptScore W1993302007C80444323 @default.
- W1993302007 hasConceptScore W1993302007C88468194 @default.
- W1993302007 hasIssue "1" @default.
- W1993302007 hasLocation W19933020071 @default.
- W1993302007 hasOpenAccess W1993302007 @default.
- W1993302007 hasPrimaryLocation W19933020071 @default.
- W1993302007 hasRelatedWork W148119022 @default.
- W1993302007 hasRelatedWork W1573218854 @default.
- W1993302007 hasRelatedWork W2008256913 @default.
- W1993302007 hasRelatedWork W2080682474 @default.
- W1993302007 hasRelatedWork W2094260934 @default.
- W1993302007 hasRelatedWork W2389245119 @default.
- W1993302007 hasRelatedWork W2610441889 @default.
- W1993302007 hasRelatedWork W2621960977 @default.
- W1993302007 hasRelatedWork W2760684713 @default.
- W1993302007 hasRelatedWork W2952136710 @default.
- W1993302007 hasVolume "2" @default.
- W1993302007 isParatext "false" @default.
- W1993302007 isRetracted "false" @default.
- W1993302007 magId "1993302007" @default.
- W1993302007 workType "article" @default.