15. A system comprising: at least one processor; and a memory; the at least one processor configured to: describe one or more software interfaces using an abstract type system and a description language, the abstract type system configured to enable descriptions that are independent from specific programming languages, wherein at least one description includes calling parameter type descriptions associated with the one or more software interfaces; generate one or more machine-readable descriptions of the one or more software interfaces based, at least in part, on the abstract type system and description language; define one or more binary contracts associated with the abstract type system, the one or more binary contracts configured to include one or more rules describing behavior associated with at least one type of the abstract type system, the one or more binary contracts comprising machine-level definitions; and translate the abstract type system to one or more specific programming languages based, at least in part, on the one or more binary contracts.
15. A system comprising: at least one processor; and a memory; the at least one processor configured to: describe one or more software interfaces using an abstract type system and a description language, the abstract type system configured to enable descriptions that are independent from specific programming languages, wherein at least one description includes calling parameter type descriptions associated with the one or more software interfaces; generate one or more machine-readable descriptions of the one or more software interfaces based, at least in part, on the abstract type system and description language; define one or more binary contracts associated with the abstract type system, the one or more binary contracts configured to include one or more rules describing behavior associated with at least one type of the abstract type system, the one or more binary contracts comprising machine-level definitions; and translate the abstract type system to one or more specific programming languages based, at least in part, on the one or more binary contracts. 18. The system of claim 15 , the one or more software interfaces comprising at least one object-oriented interface.