FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309585923> ?p ?o ?g. }

• W4309585923 endingPage "2016" @default.
• W4309585923 startingPage "1987" @default.
• W4309585923 abstract "This paper proposes a reconciliation of two different theories of information. The first, originally proposed in a lesser-known work by Claude Shannon (some five years after the publication of his celebrated quantitative theory of communication), describes how the information content of channels can be described qualitatively , but still abstractly, in terms of information elements , where information elements can be viewed as equivalence relations over the data source domain. Shannon showed that these elements have a partial ordering, expressing when one information element is more informative than another, and that these partially ordered information elements form a complete lattice. In the context of security and information flow this structure has been independently rediscovered several times, and used as a foundation for understanding and reasoning about information flow. The second theory of information is Dana Scott’s domain theory, a mathematical framework for giving meaning to programs as continuous functions over a particular topology. Scott’s partial ordering also represents when one element is more informative than another, but in the sense of computational progress – i.e. when one element is a more defined or evolved version of another. To give a satisfactory account of information flow in computer programs it is necessary to consider both theories together, in order to understand not only what information is conveyed by a program (viewed as a channel, à la Shannon) but also how the precision with which that information can be observed is determined by the definedness of its encoding (à la Scott). To this end we show how these theories can be fruitfully combined, by defining the Lattice of Computable Information (LoCI), a lattice of preorders rather than equivalence relations. LoCI retains the rich lattice structure of Shannon’s theory, filters out elements that do not make computational sense, and refines the remaining information elements to reflect how Scott’s ordering captures possible varieties in the way that information is presented. We show how the new theory facilitates the first general definition of termination-insensitive information flow properties, a weakened form of information flow property commonly targeted by static program analyses." @default.
• W4309585923 created "2022-11-28" @default.
• W4309585923 creator A5020557587 @default.
• W4309585923 creator A5025885695 @default.
• W4309585923 creator A5082447666 @default.
• W4309585923 date "2023-01-09" @default.
• W4309585923 modified "2023-10-18" @default.
• W4309585923 title "Reconciling Shannon and Scott with a Lattice of Computable Information" @default.
• W4309585923 cites W1519566437 @default.
• W4309585923 cites W1699577049 @default.
• W4309585923 cites W1972057797 @default.
• W4309585923 cites W1979413599 @default.
• W4309585923 cites W1993175210 @default.
• W4309585923 cites W2010912446 @default.
• W4309585923 cites W2027423863 @default.
• W4309585923 cites W2036463966 @default.
• W4309585923 cites W2047764386 @default.
• W4309585923 cites W2062024564 @default.
• W4309585923 cites W2093405062 @default.
• W4309585923 cites W2094873755 @default.
• W4309585923 cites W2098820900 @default.
• W4309585923 cites W2110904621 @default.
• W4309585923 cites W2113660296 @default.
• W4309585923 cites W2119253309 @default.
• W4309585923 cites W2122049982 @default.
• W4309585923 cites W2125317383 @default.
• W4309585923 cites W2129278597 @default.
• W4309585923 cites W2131916295 @default.
• W4309585923 cites W2139772363 @default.
• W4309585923 cites W2162755110 @default.
• W4309585923 cites W2785627758 @default.
• W4309585923 cites W2997271062 @default.
• W4309585923 cites W3047169699 @default.
• W4309585923 cites W3114212704 @default.
• W4309585923 cites W3183680575 @default.
• W4309585923 cites W3202721349 @default.
• W4309585923 cites W4205653883 @default.
• W4309585923 cites W61888246 @default.
• W4309585923 doi "https://doi.org/10.1145/3571740" @default.
• W4309585923 hasPublicationYear "2023" @default.
• W4309585923 type Work @default.
• W4309585923 citedByCount "0" @default.
• W4309585923 crossrefType "journal-article" @default.
• W4309585923 hasAuthorship W4309585923A5020557587 @default.
• W4309585923 hasAuthorship W4309585923A5025885695 @default.
• W4309585923 hasAuthorship W4309585923A5082447666 @default.
• W4309585923 hasBestOaLocation W43095859231 @default.
• W4309585923 hasConcept C105795698 @default.
• W4309585923 hasConcept C118615104 @default.
• W4309585923 hasConcept C17744445 @default.
• W4309585923 hasConcept C199539241 @default.
• W4309585923 hasConcept C200288055 @default.
• W4309585923 hasConcept C2780069185 @default.
• W4309585923 hasConcept C29585364 @default.
• W4309585923 hasConcept C33923547 @default.
• W4309585923 hasConcept C41008148 @default.
• W4309585923 hasConcept C52622258 @default.
• W4309585923 hasConcept C80444323 @default.
• W4309585923 hasConceptScore W4309585923C105795698 @default.
• W4309585923 hasConceptScore W4309585923C118615104 @default.
• W4309585923 hasConceptScore W4309585923C17744445 @default.
• W4309585923 hasConceptScore W4309585923C199539241 @default.
• W4309585923 hasConceptScore W4309585923C200288055 @default.
• W4309585923 hasConceptScore W4309585923C2780069185 @default.
• W4309585923 hasConceptScore W4309585923C29585364 @default.
• W4309585923 hasConceptScore W4309585923C33923547 @default.
• W4309585923 hasConceptScore W4309585923C41008148 @default.
• W4309585923 hasConceptScore W4309585923C52622258 @default.
• W4309585923 hasConceptScore W4309585923C80444323 @default.
• W4309585923 hasIssue "POPL" @default.
• W4309585923 hasLocation W43095859231 @default.
• W4309585923 hasLocation W43095859232 @default.
• W4309585923 hasLocation W43095859233 @default.
• W4309585923 hasLocation W43095859234 @default.
• W4309585923 hasLocation W43095859235 @default.
• W4309585923 hasOpenAccess W4309585923 @default.
• W4309585923 hasPrimaryLocation W43095859231 @default.
• W4309585923 hasRelatedWork W1034061887 @default.
• W4309585923 hasRelatedWork W1969792448 @default.
• W4309585923 hasRelatedWork W1986866994 @default.
• W4309585923 hasRelatedWork W2004624959 @default.
• W4309585923 hasRelatedWork W2018206907 @default.
• W4309585923 hasRelatedWork W2027762620 @default.
• W4309585923 hasRelatedWork W2623511688 @default.
• W4309585923 hasRelatedWork W2786979983 @default.
• W4309585923 hasRelatedWork W4236314829 @default.
• W4309585923 hasRelatedWork W4248699163 @default.
• W4309585923 hasVolume "7" @default.
• W4309585923 isParatext "false" @default.
• W4309585923 isRetracted "false" @default.
• W4309585923 workType "article" @default.