Computer for reducing lambda calculus expressions employing vari

Details Computer for reducing lambda calculus expressions employing vari Computer for reducing lambda calculus expressions employing vari

1988-09-22

1992-03-24

Lee, Thomas C.

Boots, shoes, and leggings

3649162, 364972, 3649722, 364977, 3649771, 364973, 364DIG2, G06F 930, G06F 9302, G06F 938, G06F 1300

Patent

active

050994506

ABSTRACT:
The invention is directed to a computer including an input unit, an arithmetic logic unit, a memory unit, a control unit, an output unit, and a signal bus system connected to each of the units to permit signal communication between each of the units. The control unit of the present invention includes a problem section coupled to the memory unit, for fetching binary encoded source elements of a problem expression stored in the memory unit. In addition, the control unit includes result generator, coupled to the problem section, for generating a result expression from at least one of the source elements of the problem expression. Further, the control unit comprises a transfer unit, coupled to the result generator and the memory unit, for storing the result expression into a result area of the memory unit. The result expression comprises a plurality of address pointers to pre-identified source elements of the problem expression. The control unit further comprises a reslut section, coupled to the memory unit, for fetching the result expression from the result area of the memory unit, writing unit, coupled to the result section and the memory unit, for writing the result expression into the environment area of the memory unit; environment section, coupled to the memory unit, for fetching the result expression from the environment area of the memory unit; and comparing unit, coupled to the memory unit, for comparing at least one storage location from the result area of the memory unit with at least one storage location from the environment area of the memory unit to monitor the storage capacity of the result area and the environment area.

REFERENCES:
patent: 3646523 (1972-02-01), Berkling
patent: 4075689 (1978-02-01), Berkling
patent: 4310880 (1982-01-01), Gehman
patent: 4447875 (1984-05-01), Bolton et al.
patent: 4502118 (1985-02-01), Hagenmaier, Jr.
patent: 4541047 (1985-09-01), Wada et al.
patent: 4599691 (1986-07-01), Sakaki et al.
patent: 4628477 (1986-12-01), Burrows
patent: 4642797 (1987-02-01), Hoberman
patent: 4734848 (1988-03-01), Yamano et al.
patent: 4755939 (1988-07-01), Watson
Hilton, An Architecture For Reducing The Lambda Calculus CASE Center Technical Report No. 8715, Aug. 1987.
Berkling, Headorder Reduction: A Graph Reduction Scheme for the Operational Lambda Calculus, CASE Center Technical Report No. 8613, Nov. 1986.
Greene, A Fully Lazy Higher Order Purely Functional Programming Language with Reduction Semantics, CASE Center Technical Report No. 8503, Dec. 1985.
Stoye, The Implementation of Functional Languages Using Custom Hardware, a Dissertation Submitted for the Degree of Doctor of Philosophy in the University of Cambridge, May 1985.
Prini, An Efficient Interpreter for the Lambda Calculus, 23 Journal of Computer and System Sciences, 283-424, 1981.
Hommes, Kluge, Schlutter, A Reduction Machine Architecture and Expression Orientated Editing, Gesellshaft Fur Mathematik Und Datenverarbeitung mbH Bonn, 1980.
Wadsworth, Semantics and Pragmantics of the Lambda Calculus, Dissertation Submitted for the Doctor of Philosophy at the University of Oxford, 1971.
Goos & Hartmanis, Lecture Notes in Computer Science, Graph Reduction Proceedings of a Workshop, Sante Fe, NM, U.S.A., Sep./Oct. 1986, paper entitled Headorder Reduction: and Graph Reduction scheme for the Operational Lambda Calculus.

Affiliated with

Also associated with

Rating

Computer for reducing lambda calculus expressions employing vari does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Computer for reducing lambda calculus expressions employing vari, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer for reducing lambda calculus expressions employing vari will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2015861