Static and Dynamic Slicing of Constraint Logic Programs

作者：Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Małuszyński

摘要

Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging.

论文关键词：Logic Programming (LP), Constraint Logic Programming (CLP), program analysis, debugging, slicing

论文评审过程：

论文官网地址：https://doi.org/10.1023/A:1013280119003