Dynamic dependence in term rewriting systems and i

Authors: John Field Frank Tip

Publish Date: 1994/9/14

Volume: , Issue: , Pages: 415-431

PDF Link

Abstract

Program slicing is a useful technique for debugging testing and analyzing programs A program slice consists of the parts of a program which potentially affect the values computed at some point of interest With rare exceptions program slices have hitherto been computed and defined in adhoc and languagespecific ways The principal contribution of this paper is to show that general and semantically wellfounded notions of slicing and dependence can be derived in a simple uniform way from term rewriting systems TRSs Our slicing technique is applicable to any language whose semantics is specified in TRS form Moreover we show that our method admits an efficient implementation

Keywords: