Iteratively defined transfinite trace semantics and program slicing with respect to them

MaRDI QIDQ5310900zbMATH OpenFDO

Authors Härmel Nestra

Publication date 15 October 2007

zbMATH Keywords

computation tracecontrol flow graphcorrectness of standard algorithmprogram slicingprogramming languageslicing algorithmslicing criterionstandard semanticstransfinite semanticstransfinite trace semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Non-standard semantics for program slicing
• A trajectory-based strict semantics for program slicing
• Fractional Semantics
• Transfinite corecursion
• Program Slicing

Cited in

(5)

• Non-standard semantics for program slicing
• Transfinite corecursion
• Fractional Semantics
• Transfinite semantics in the form of greatest fixpoint
• A trajectory-based strict semantics for program slicing

This page was built for publication: Iteratively defined transfinite trace semantics and program slicing with respect to them

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