Static slicing of a rst-order functional language based on operational semantics (1999)

by Joonseon Ahn, Taisook Han