Static and Dynamic Slicing of Constraint Logic Programs

TitleStatic and Dynamic Slicing of Constraint Logic Programs
Publication TypeJournal Article
Year of Publication2002
AuthorsSzilágyi G, Gyimóthy T, Małuszyński J
JournalAutomated Software Engineering
Volume9
Pagination41–65
Date PublishedJan
ISSN1573-7535
Abstract

Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging.
URLhttps://doi.org/10.1023/A:1013280119003
DOI10.1023/A:1013280119003