Abstract: In an embodiment of the invention, one or more tangible non-transitory computer-readable storage media may store the following instructions. Defining representation type spaces R1 and R2 and correctness type spaces C1 and C2 over the representation type spaces R1 and R2, respectively. Defining a representation type space R and a correctness type space C over the representation type space R, such that a semilattice associated with the correctness type space C is a function semilattice over respective semilattices associated with the correctness type spaces C1 and C2.

Abstract: In an embodiment of the invention, one or more tangible non-transitory computer-readable storage media may store the following instructions. Defining representation type spaces R1 and R2 and correctness type spaces C1 and C2 over the representation type spaces R1 and R2, respectively. Defining a representation type space R and a correctness type space C over the representation type space R, such that a semilattice associated with the correctness type space C is a function semilattice over respective semilattices associated with the correctness type spaces C1 and C2.

Abstract: Methods and apparatus for using description information about a function to translate a call to the function into a call to a corresponding function in a second language. The methods include processing a definition of a function associated with a first language to create description information sufficient to enable translation of a call to the function into a call to a corresponding function in a second language without requiring processing of the definition of the function. In another aspect, the methods include providing a description file of items, each item including description information about a function associated with a first language, and using the file of description items to translate a first program file from the first language into a second language.

Abstract: Methods and apparatus for using description information about a function to translate a call to the function in a first language into a call to a corresponding function in a second language. The methods include create description information from a definition of a function associated with a first language that enables translation of a call to the function in the first language into a call to a corresponding function in a second language without requiring processing of the definition of the function. In one aspect, the methods include providing a description file of items, each item including description information about a function associated with a first language, and using the file of description items to translate a first program file from the first language into a second language.

Abstract: A subsoiling brush cutter hitch adapted for receiving a mower, a subsoiling shank, and optionally a coulter blade, enables combining activities for two dissimilar resource management practices, mastication (mowing) and subsoiling.

Abstract: This invention relates to a novel high nutrient containing organic fertilizer composition. More particularly, this invention relates to a high nutrient containing organic fertilizer which can be applied to vegetation in liquid form, for instance, in combination with water, by being sprayed through a hose-end type water sprayer. An organic fertilizer composition comprising: (a) a solid organic biomass which contains nitrogen, phosphorous and potassium; and (b) an osmotic attractant for water.

Abstract: The invention relates to a fluid dispensing device incorporating a push-button actuator normally biased in the closed position, a housing for receiving the aerosol canisters and a carrying case for the entire assembly. Activation is achieved by longitudinal axial compression followed by snapping engagement of the housing fitted about the aerosol valves which depresses the aerosol valves.

Abstract: A method and computer program product is shown for use with a computer programming language having dynamic types and overloaded functions. A function data structure (a function handle) is constructed using a function name, which data structure contains or leads to information necessary to resolve function overloading, and also may lead to other auxiliary functions such as write, read or print. Application of the function data structure at the point of construction is functionally equivalent to application of a function name string. However, the function data structure may be applied without regard to the scope at the point of construction.

Abstract: Methods and apparatus for using description information about a function to translate a call to the function into a call to a corresponding function in a second language. The methods include processing a definition of a function associated with a first language to create description information sufficient to enable translation of a call to the function into a call to a corresponding function in a second language without requiring processing of the definition of the function. In another aspect, the methods include providing a description file of items, each item including description information about a function associated with a first language, and using the file of description items to translate a first program file from the first language into a second language.

Abstract: The present invention comprises a dry composition of a plant and/or soil amendment and a suspending agent, a liquid composition created therefrom and a method of making and using the same.

Abstract: The invention relates to a fluid dispensing device incorporating a push-button actuator normally biased in the closed position, a housing for receiving the aerosol canisters and a carrying case for the entire assembly. Activation is achieved by longitudinal axial compression followed by snapping engagement of the housing fitted about the aerosol valves which depresses the aerosol valves.

Abstract: A resistance apparatus for use in fitness exercising and rehabilitation having a treadmill with a rearward end, a frame connected to the treadmill and positioned behind the rearward end of the treadmill, and a resistance apparatus affixed to the frame and having an end connectable to a human body. The resistance apparatus exerts a resistance force onto the human body from a back of the human body so that the human body carries out a forward motion on the treadmill. The frame includes a horizontal section connected to the treadmill and a vertical section extending upwardly from the horizontal section. The resistance apparatus is connected to the vertical section. The resistance apparatus includes a cord extending from the frame and having a mechanism attached to an end thereof so as to allow the cord to be connected to a human body.

Abstract: A visual aid system for attachment to a hitch of a motor vehicle to a trailer including a first pole cantably attached onto the hitch connector ball of the motor vehicle and a second pole articulated to the hitch mechanism of the trailer so as to move to a position directly above the socket of the hitch mechanism. The first pole includes a pole member and a receptacle affixed to a lower end of the pole member. The receptacle has a groove formed circumferentially around an interior thereof. An elastomeric band is located within the groove so as to be interposed between the ball and the receptacle. The second pole includes a pole member, an articulatable connector pivotally connected to an end of the pole member, and a base affixed to the hitch mechanism of the trailer. The articulatable connector is pivotally connected to the base. A phosphorescent cap is affixed to a top of the first pole so as to emit light outwardly from an upper portion of the first pole.

Abstract: A method and apparatus for providing cardiopulmonary resuscitation, CPR, are disclosed. A manually operated air pump is positioned on the patient's chest. A mask is positioned on the patient's face. An air line connects the mask to the air pump. Vertically downward stokes are applied to the air pump. The downward strokes provide resuscitative chest compressions and charge an air holding tank. Periodically, the contents of the air holding tank are discharged through the air line and into the mask to provide resuscitative patient ventilations. In one embodiment, the compressions are provided in response to signals from a timing device and the ventilations are provided automatically.

Abstract: An optical fiber coupler (10) is disclosed for interconnecting a tap cable (20) to a bus cable (30). Each cable has a portion of its sheath removed at the point of coupling to provide exposed cores (24,34). The cores are intertwined a number of times and the tension on the cables is adjusted to yield the desired loss. A cladding material fills the intertwined region, including the interstices of the cores, to provide a continuous sheath in the axial dimension.

Abstract: A fail-safe valve actuator includes a hydraulic piston (17) and cylinder (15) for driving the valve stem (9) and gate member (35) of a gate valve into a first flow control state responsive to sufficient pressure delivered by a fluid or gas supply line (92). Upon failure or other loss of sufficient control line pressure, a volute spring (7) drives the cylinder (15), and hence the stem (9) and gate member (35), axially outward resulting in the valve being moved into a second flow control state.

Abstract: A gate valve for cutting a wire line (20) and closing in a well has a gate assembly (24) formed of an upper gate (32) and a lower gate (34). The lower gate (34) closes first shearing the wire line. Upper gate (32) closes second and seals against upper valve seat (42).

Abstract: A packaging scheme for apparatus including integrated optical components, such as transmitters, receivers and transceivers. The components are provided in the form of semiconductor chips bonded to a substrate such as ceramic. A glass cover which includes a light transmission path is mounted over the chips. Connectors to optical fibers are formed by molding a material over the substrate and cover. Alignment is effected by use of etched grooves in the cover which are matched to ridges in the mold.

Abstract: A normally non-rising stem valve with a stem backseat (67,70) normally maintained in unseated position by a eutectic element (62). A spring (76) urges the backseat into seating position and is placed inwardly of a replaceable stem packing (34) so that upon melting of the eutectic (62) and positive seating of the backseat (67,70), the packing (34) can be replaced.

Abstract: A metallic spring member 30 cooperates with grooves 32, 34 disposed in pressure containing members 10, 12. The spring member 30 has an E-shaped cross section and is compressed both horizontally and vertically when the members 10, 12 are fully engaged. The seal is self-energizing under normal operating conditions and able to accommodate small, but significant relative motion between the pressure containing members 10, 12 during conditions of abnormally high and unevenly distributed temperature.