Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288283227> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4288283227 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.
- W4288283227 created "2022-07-28" @default.
- W4288283227 creator A5045726166 @default.
- W4288283227 creator A5056138547 @default.
- W4288283227 date "2019-07-12" @default.
- W4288283227 modified "2023-10-17" @default.
- W4288283227 title "Verified Self-Explaining Computation" @default.
- W4288283227 doi "https://doi.org/10.48550/arxiv.1907.05818" @default.
- W4288283227 hasPublicationYear "2019" @default.
- W4288283227 type Work @default.
- W4288283227 citedByCount "0" @default.
- W4288283227 crossrefType "posted-content" @default.
- W4288283227 hasAuthorship W4288283227A5045726166 @default.
- W4288283227 hasAuthorship W4288283227A5056138547 @default.
- W4288283227 hasBestOaLocation W42882832271 @default.
- W4288283227 hasConcept C111472728 @default.
- W4288283227 hasConcept C118615104 @default.
- W4288283227 hasConcept C124952713 @default.
- W4288283227 hasConcept C136764020 @default.
- W4288283227 hasConcept C138885662 @default.
- W4288283227 hasConcept C142362112 @default.
- W4288283227 hasConcept C169590947 @default.
- W4288283227 hasConcept C177264268 @default.
- W4288283227 hasConcept C199360897 @default.
- W4288283227 hasConcept C2776190703 @default.
- W4288283227 hasConcept C2776760102 @default.
- W4288283227 hasConcept C2777573902 @default.
- W4288283227 hasConcept C2777904410 @default.
- W4288283227 hasConcept C2778023678 @default.
- W4288283227 hasConcept C2780586882 @default.
- W4288283227 hasConcept C2780980858 @default.
- W4288283227 hasConcept C33923547 @default.
- W4288283227 hasConcept C41008148 @default.
- W4288283227 hasConcept C45374587 @default.
- W4288283227 hasConcept C80444323 @default.
- W4288283227 hasConcept C91071405 @default.
- W4288283227 hasConceptScore W4288283227C111472728 @default.
- W4288283227 hasConceptScore W4288283227C118615104 @default.
- W4288283227 hasConceptScore W4288283227C124952713 @default.
- W4288283227 hasConceptScore W4288283227C136764020 @default.
- W4288283227 hasConceptScore W4288283227C138885662 @default.
- W4288283227 hasConceptScore W4288283227C142362112 @default.
- W4288283227 hasConceptScore W4288283227C169590947 @default.
- W4288283227 hasConceptScore W4288283227C177264268 @default.
- W4288283227 hasConceptScore W4288283227C199360897 @default.
- W4288283227 hasConceptScore W4288283227C2776190703 @default.
- W4288283227 hasConceptScore W4288283227C2776760102 @default.
- W4288283227 hasConceptScore W4288283227C2777573902 @default.
- W4288283227 hasConceptScore W4288283227C2777904410 @default.
- W4288283227 hasConceptScore W4288283227C2778023678 @default.
- W4288283227 hasConceptScore W4288283227C2780586882 @default.
- W4288283227 hasConceptScore W4288283227C2780980858 @default.
- W4288283227 hasConceptScore W4288283227C33923547 @default.
- W4288283227 hasConceptScore W4288283227C41008148 @default.
- W4288283227 hasConceptScore W4288283227C45374587 @default.
- W4288283227 hasConceptScore W4288283227C80444323 @default.
- W4288283227 hasConceptScore W4288283227C91071405 @default.
- W4288283227 hasLocation W42882832271 @default.
- W4288283227 hasLocation W42882832272 @default.
- W4288283227 hasLocation W42882832273 @default.
- W4288283227 hasOpenAccess W4288283227 @default.
- W4288283227 hasPrimaryLocation W42882832271 @default.
- W4288283227 hasRelatedWork W130685149 @default.
- W4288283227 hasRelatedWork W1578467191 @default.
- W4288283227 hasRelatedWork W1608659702 @default.
- W4288283227 hasRelatedWork W1757199044 @default.
- W4288283227 hasRelatedWork W2099080307 @default.
- W4288283227 hasRelatedWork W2128736692 @default.
- W4288283227 hasRelatedWork W2200354031 @default.
- W4288283227 hasRelatedWork W2890471687 @default.
- W4288283227 hasRelatedWork W2956935332 @default.
- W4288283227 hasRelatedWork W2968294122 @default.
- W4288283227 isParatext "false" @default.
- W4288283227 isRetracted "false" @default.
- W4288283227 workType "article" @default.