Output details

A trajectory-based strict semantics for program slicing

<10> Theoretical Computer Science is one of the most important journals in the field with an H-index of 67. Danicic is the lead author of this paper, which reports results from an EPSRC project in which he was the principal investigator. This paper defines a novel program semantics. It is intuitive because based on the usual 'Von-Neumann' execution model, not requiring complex, non-standard models of computation. Unlike other approaches the semantics of the whole can be defined in terms of the semantics of constituent parts. This massively enhances the ability to reason formally about (previous and future) slice-based program transformations.