Transfinite semantics in program slicing
Härmel Nestra · Proceedings of the Estonian Academy of Sciences Engineering · 2005
This paper studies mathematically some special kinds of transfinite trace semantics and investigates program slicing w.r.t.these semantics.Several general facts about slicing, which hold for a wide class of programming languages and their transfinite semantics, are proven.The principal part of the work is done on control flow graphs keeping the treatment abstracted from any concrete programming language.Structured control flow is not assumed but programs written in standard programming languages with structured control flow are among those to which our theory applies.