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.