Patent
1996-10-25
1999-08-17
Hafiz, Tariq R.
G06F 945
Patent
active
059406194
ABSTRACT:
In a computerized method, a computer program is analyzed while the program is interpreted. The program is expressed in a first memory as input values and functions. Some of the input values are complex values which can have a plurality of component values. Each function operates on combinations of the input values and the functions of the program. The program is interpreted in a processor connected to the first memory. The processor is also connected to a second memory to store result values produced during the interpretation. Selected input values, components of the complex values, and functions are named only if the selected values, components, and functions are necessary to produce a selected result value. For each function of the program, the function which is interpreted, the input values on which the function depends, and the result value produced by the function during interpretation, are recorded in the second memory to dynamically perform a precise dependency analysis of the program.
REFERENCES:
patent: 5500881 (1996-03-01), Levin et al.
"The Vesta Language for Configuration Management," by Christine B. Hanna and Roy Levin, Jun. 14, 1993, Digital Equipment Corp., Systems Research Center, Palo Alto, California.
"The Vesta Approach to Precise Configuration of Large Software Systems," by Roy Levin and Paul R. McJones, Jun. 14, 1993, Digital Equipment Corp., Systems Research Center, Palo Alto, California.
Abadi, et al., "Analysis and Caching of Dependencies," ACM SIGPLAN Notices, vol. 31, No. 6, pp. 83-91, Jun. 1996.
Hanna, et al., "The Vesta Language for Configuration Management," Digital Equipment Corp., Systems Research Center, Palo Alto, CA, Jun. 1993.
Abadi Martin
Horning James J.
Lampson Butler W.
Levin Roy
Levy Jean-Jacques
Corcoran, III Peter J.
Digital Equipment Corporation
Hafiz Tariq R.
LandOfFree
Dynamic fine-grained dependency analysis for a functional langua does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Dynamic fine-grained dependency analysis for a functional langua, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamic fine-grained dependency analysis for a functional langua will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-324319