Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007975752> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2007975752 endingPage "514" @default.
- W2007975752 startingPage "483" @default.
- W2007975752 abstract "We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for non-interference, a well-known program property in the field of language-based security, and code transformations. Contrary to previous type systems for non-interference, no restrictions are imposed on the control flow structure of programs. Objects, static and virtual methods are included, and heap-local reasoning is supported by frame rules. In combination with polyvariance, the latter enable the modular verification of programs over heap-allocated data structures, which we illustrate by verifying and comparing different implementations of list copying. The material is based on a complete formalisation in Isabelle/HOL." @default.
- W2007975752 created "2016-06-24" @default.
- W2007975752 creator A5075091834 @default.
- W2007975752 date "2010-10-01" @default.
- W2007975752 modified "2023-10-18" @default.
- W2007975752 title "Relational bytecode correlations" @default.
- W2007975752 cites W1967866549 @default.
- W2007975752 cites W1981899763 @default.
- W2007975752 cites W1986681115 @default.
- W2007975752 cites W1997775274 @default.
- W2007975752 cites W2009342609 @default.
- W2007975752 cites W2016017569 @default.
- W2007975752 cites W2030762383 @default.
- W2007975752 cites W2034711041 @default.
- W2007975752 cites W2040669676 @default.
- W2007975752 cites W2040856861 @default.
- W2007975752 cites W2046137117 @default.
- W2007975752 cites W2067012475 @default.
- W2007975752 cites W2075849836 @default.
- W2007975752 cites W2104334667 @default.
- W2007975752 cites W2107787226 @default.
- W2007975752 cites W2112888217 @default.
- W2007975752 cites W2115974895 @default.
- W2007975752 cites W2122049982 @default.
- W2007975752 cites W2128180740 @default.
- W2007975752 cites W2129695855 @default.
- W2007975752 cites W2131916295 @default.
- W2007975752 cites W2137628566 @default.
- W2007975752 cites W2144540543 @default.
- W2007975752 cites W2149465027 @default.
- W2007975752 cites W2149996206 @default.
- W2007975752 cites W2150174204 @default.
- W2007975752 cites W2151759383 @default.
- W2007975752 cites W2168686464 @default.
- W2007975752 cites W2173102238 @default.
- W2007975752 cites W4236991443 @default.
- W2007975752 cites W4250846042 @default.
- W2007975752 doi "https://doi.org/10.1016/j.jlap.2010.07.005" @default.
- W2007975752 hasPublicationYear "2010" @default.
- W2007975752 type Work @default.
- W2007975752 sameAs 2007975752 @default.
- W2007975752 citedByCount "5" @default.
- W2007975752 countsByYear W20079757522012 @default.
- W2007975752 countsByYear W20079757522013 @default.
- W2007975752 countsByYear W20079757522021 @default.
- W2007975752 crossrefType "journal-article" @default.
- W2007975752 hasAuthorship W2007975752A5075091834 @default.
- W2007975752 hasBestOaLocation W20079757521 @default.
- W2007975752 hasConcept C199360897 @default.
- W2007975752 hasConcept C2779818221 @default.
- W2007975752 hasConcept C33923547 @default.
- W2007975752 hasConcept C41008148 @default.
- W2007975752 hasConcept C548217200 @default.
- W2007975752 hasConceptScore W2007975752C199360897 @default.
- W2007975752 hasConceptScore W2007975752C2779818221 @default.
- W2007975752 hasConceptScore W2007975752C33923547 @default.
- W2007975752 hasConceptScore W2007975752C41008148 @default.
- W2007975752 hasConceptScore W2007975752C548217200 @default.
- W2007975752 hasIssue "7" @default.
- W2007975752 hasLocation W20079757521 @default.
- W2007975752 hasOpenAccess W2007975752 @default.
- W2007975752 hasPrimaryLocation W20079757521 @default.
- W2007975752 hasRelatedWork W1483213041 @default.
- W2007975752 hasRelatedWork W1557837846 @default.
- W2007975752 hasRelatedWork W1860988706 @default.
- W2007975752 hasRelatedWork W2068737373 @default.
- W2007975752 hasRelatedWork W2087659787 @default.
- W2007975752 hasRelatedWork W2123672134 @default.
- W2007975752 hasRelatedWork W2138161962 @default.
- W2007975752 hasRelatedWork W2387544419 @default.
- W2007975752 hasRelatedWork W2529681551 @default.
- W2007975752 hasRelatedWork W3013281674 @default.
- W2007975752 hasVolume "79" @default.
- W2007975752 isParatext "false" @default.
- W2007975752 isRetracted "false" @default.
- W2007975752 magId "2007975752" @default.
- W2007975752 workType "article" @default.