A trajectory-based strict semantics for program slicing

DOI10.1016/J.TCS.2009.10.025MaRDI QIDQ960858zbMATH OpenOpenAlexWikidataFDO

Authors Richard W. Barraclough, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya, David W. Binkley

Publication date 29 March 2010

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://research.gold.ac.uk/2442/1/itNew.pdf

zbMATH Keywords

non-terminationprogram dependenceprogram semanticsprogram slicing

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• A non-standard semantics for program slicing and dependence analysis
• Non-standard semantics for program slicing
• Slicing programs in the presence of errors
• Iteratively defined transfinite trace semantics and program slicing with respect to them
• Program Slicing

Cites work

• A formalisation of the relationship between forms of program slicing
• A non-standard semantics for program slicing and dependence analysis
• Dynamic program slicing
• Equivalence of conservative, free, linear program schemas is decidable
• Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• Non-standard semantics for program slicing
• Program Slicing
• Programming Languages and Systems
• Selective strictness and parametricity in structural operational semantics, inequationally
• Semantics-preserving procedure extraction
• Slicing software for model construction
• The program dependence graph and its use in optimization
• Theoretical foundations of dynamic program slicing
• Transfinite corecursion
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(12)

• Non-standard semantics for program slicing
• Slicing programs in the presence of errors
• A formal relationship between program slicing and partial evaluation
• A generic program slicing technique based on language definitions
• Fractional Semantics
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Iteratively defined transfinite trace semantics and program slicing with respect to them
• Using Relational Verification for Program Slicing
• Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
• A unifying theory of control dependence and its application to arbitrary program structures
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• A non-standard semantics for program slicing and dependence analysis

This page was built for publication: A trajectory-based strict semantics for program slicing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q960858)