Key points are not available for this paper at this time.
A method for the automatic dffferentmtion of computer functions (subroutmes) written m a highlevel language is discussed.
Gershon Kedem (Sun,) studied this question.