کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
433634 1441778 2006 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A formalisation of the relationship between forms of program slicing
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A formalisation of the relationship between forms of program slicing
چکیده انگلیسی

The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different forms of slicing. Each preserves some aspect of a program’s behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences between forms of slicing, a formal mechanism is required. This paper further develops a formal framework for comparing forms of slicing using a theory of program projection. This framework is used to reveal the ordering relationship between various static, dynamic, simultaneous and conditioned forms of slicing.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 62, Issue 3, 15 October 2006, Pages 228-252