Boots – shoes – and leggings
Patent
1992-05-13
1993-08-31
Kriess, Kevin A.
Boots, shoes, and leggings
364DIG1, 364280, 3642804, G06F 700
Patent
active
052416780
ABSTRACT:
A program translation method for translating a first program including at least a conditional branch step into a second program through a partial computation. Whether or not a condition expression included in the first program is satisfied is judged depending on known information. If such judgement can not be made, the routine of each branch destination of the condition expression is subjected to a partial computation based on the known information and additional information indicating the branch condition of the condition expression. When the routine at the branch destination is a non-primitive function, prior to the partial computation of the routine at the branch destination, a unique name is assigned to a result of the partial computation such that the name is referenced at an intermediate point of the partial computation.
REFERENCES:
patent: 3408630 (1968-10-01), Packard et al.
patent: 4315315 (1982-02-01), Kossiakoff
patent: 4330822 (1982-05-01), Dodson
patent: 4463423 (1984-07-01), Potash et al.
patent: 4773007 (1988-09-01), Kanada et al.
"Computer, Systems, Controls 2", No. 5, 1971, pp. 45-50.
Kahn, K. M.: Partial Evaluation of Lisp Written in Prolog, UPMAIL Report Department of Computer Science, Uppsala University, Uppsala, Sweden, Mar. 11, 1982.
Futamura Yoshihiko
Nogi Kenroku
Hitachi , Ltd.
Kriess Kevin A.
LandOfFree
Program translation based on generalized partial computation does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Program translation based on generalized partial computation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Program translation based on generalized partial computation will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2305169