Computing device employing a reduction processor and implementing a declarative language
AssigneeCarlstedt Elektronik AB
InventorL. Gunnar Carlstedt
Life of this patent
Estimating the term…
Abstract
A computing device implements a functional programming in hardware and operates as a reduction processor. Programs to be evaluated are represented as a directional graph of closures, where each part of a program is represented by a closure. During execution, this directional graph of closures is gradually reduced according to the reduction rules of the declarative language used. The device has an active associative object storage having storage cells able to store and execute at least part of a computer program. The device has several ports that contain storage cells and which are able to exchange and compare data and programs through a unification of internal and external behaviors.
Claims8
A computing device of reduction type for reducing programs stored therein, comprising:
- at least one port means for connecting said computing device with at least one external device connected to said at least one port means;
- an active associative storage means for associatively storing and retrieving data elements, said active associative storage means being connected to said at least one port means and comprising a plurality of storage cell means for storing and executing at least part of a computer program stored therein;
- a structural arithmetic means comprising a matrix of interconnected registers of storage cell means for storing and reducing at least part of computer programs stored therein;
- and
- a bus means for connecting each of said storage cell means of said active associative storage means to said structural arithmetic means and to said at least one port means, said at least one port means comprising comparison means for comparing, by a unification operation, data provided by said at least one external device to said at least one port means with data stored in at least one of a plurality of storage cells contained in said port means, said data provided by said at least one external device and said stored data each having possible undefined data elements or partially defined elements.
Dependencies are inferred from the claim text.