Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956935332> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2956935332 abstract "Common programming tools, like compilers, debuggers, and IDEs, crucially rely on the ability to analyse program code to reason about its behaviour and properties. There has been a great deal of work on verifying compilers and static analyses, but far less on verifying dynamic analyses such as program slicing. Recently, a new mathematical framework for slicing was introduced in which forward and backward slicing are dual in the sense that they constitute a Galois connection. This paper formalises forward and backward dynamic slicing algorithms for a simple imperative programming language, and formally verifies their duality using the Coq proof assistant." @default.
- W2956935332 created "2019-07-23" @default.
- W2956935332 creator A5045726166 @default.
- W2956935332 creator A5056138547 @default.
- W2956935332 date "2019-07-12" @default.
- W2956935332 modified "2023-09-27" @default.
- W2956935332 title "Verified Self-Explaining Computation" @default.
- W2956935332 cites W1480794577 @default.
- W2956935332 cites W1511668635 @default.
- W2956935332 cites W1553894716 @default.
- W2956935332 cites W2053408591 @default.
- W2956935332 cites W2093397547 @default.
- W2956935332 cites W2096001571 @default.
- W2956935332 cites W2105534596 @default.
- W2956935332 cites W2110066339 @default.
- W2956935332 cites W2160578811 @default.
- W2956935332 cites W2180807186 @default.
- W2956935332 cites W2185248171 @default.
- W2956935332 cites W2267561372 @default.
- W2956935332 cites W2288285441 @default.
- W2956935332 cites W2418583119 @default.
- W2956935332 cites W2762269809 @default.
- W2956935332 cites W1732358472 @default.
- W2956935332 hasPublicationYear "2019" @default.
- W2956935332 type Work @default.
- W2956935332 sameAs 2956935332 @default.
- W2956935332 citedByCount "0" @default.
- W2956935332 crossrefType "posted-content" @default.
- W2956935332 hasAuthorship W2956935332A5045726166 @default.
- W2956935332 hasAuthorship W2956935332A5056138547 @default.
- W2956935332 hasConcept C111472728 @default.
- W2956935332 hasConcept C118615104 @default.
- W2956935332 hasConcept C124952713 @default.
- W2956935332 hasConcept C136764020 @default.
- W2956935332 hasConcept C138885662 @default.
- W2956935332 hasConcept C142362112 @default.
- W2956935332 hasConcept C169590947 @default.
- W2956935332 hasConcept C177264268 @default.
- W2956935332 hasConcept C199360897 @default.
- W2956935332 hasConcept C2776190703 @default.
- W2956935332 hasConcept C2776760102 @default.
- W2956935332 hasConcept C2777573902 @default.
- W2956935332 hasConcept C2777904410 @default.
- W2956935332 hasConcept C2778023678 @default.
- W2956935332 hasConcept C2780586882 @default.
- W2956935332 hasConcept C2780980858 @default.
- W2956935332 hasConcept C33923547 @default.
- W2956935332 hasConcept C41008148 @default.
- W2956935332 hasConcept C45374587 @default.
- W2956935332 hasConcept C80444323 @default.
- W2956935332 hasConcept C91071405 @default.
- W2956935332 hasConceptScore W2956935332C111472728 @default.
- W2956935332 hasConceptScore W2956935332C118615104 @default.
- W2956935332 hasConceptScore W2956935332C124952713 @default.
- W2956935332 hasConceptScore W2956935332C136764020 @default.
- W2956935332 hasConceptScore W2956935332C138885662 @default.
- W2956935332 hasConceptScore W2956935332C142362112 @default.
- W2956935332 hasConceptScore W2956935332C169590947 @default.
- W2956935332 hasConceptScore W2956935332C177264268 @default.
- W2956935332 hasConceptScore W2956935332C199360897 @default.
- W2956935332 hasConceptScore W2956935332C2776190703 @default.
- W2956935332 hasConceptScore W2956935332C2776760102 @default.
- W2956935332 hasConceptScore W2956935332C2777573902 @default.
- W2956935332 hasConceptScore W2956935332C2777904410 @default.
- W2956935332 hasConceptScore W2956935332C2778023678 @default.
- W2956935332 hasConceptScore W2956935332C2780586882 @default.
- W2956935332 hasConceptScore W2956935332C2780980858 @default.
- W2956935332 hasConceptScore W2956935332C33923547 @default.
- W2956935332 hasConceptScore W2956935332C41008148 @default.
- W2956935332 hasConceptScore W2956935332C45374587 @default.
- W2956935332 hasConceptScore W2956935332C80444323 @default.
- W2956935332 hasConceptScore W2956935332C91071405 @default.
- W2956935332 hasLocation W29569353321 @default.
- W2956935332 hasOpenAccess W2956935332 @default.
- W2956935332 hasPrimaryLocation W29569353321 @default.
- W2956935332 hasRelatedWork W119146207 @default.
- W2956935332 hasRelatedWork W1484491715 @default.
- W2956935332 hasRelatedWork W1517417277 @default.
- W2956935332 hasRelatedWork W1598187694 @default.
- W2956935332 hasRelatedWork W1883702554 @default.
- W2956935332 hasRelatedWork W2150422093 @default.
- W2956935332 hasRelatedWork W2479043920 @default.
- W2956935332 hasRelatedWork W2600478067 @default.
- W2956935332 hasRelatedWork W2619866502 @default.
- W2956935332 hasRelatedWork W2730816057 @default.
- W2956935332 hasRelatedWork W2749943653 @default.
- W2956935332 hasRelatedWork W2767370631 @default.
- W2956935332 hasRelatedWork W2964025851 @default.
- W2956935332 hasRelatedWork W2968294122 @default.
- W2956935332 hasRelatedWork W3105346556 @default.
- W2956935332 hasRelatedWork W3208916498 @default.
- W2956935332 hasRelatedWork W11680015 @default.
- W2956935332 hasRelatedWork W2132396668 @default.
- W2956935332 hasRelatedWork W2166319213 @default.
- W2956935332 hasRelatedWork W2988899494 @default.
- W2956935332 isParatext "false" @default.
- W2956935332 isRetracted "false" @default.
- W2956935332 magId "2956935332" @default.
- W2956935332 workType "article" @default.