Try/buy wrapping of installation-ready software for...

Two meta-level modeling approach for mapping typed data

Two tier clusters for representation of objects in Java...

Type checking in java computing environments

Type extensions

Type inference system and method

Type partitioned dataflow analyses

Typed intermediate language support for existing compilers

Typed intermediate language support for languages with...

Typed intermediate language support for languages with...

Typed-data translation for platform independence

Unbundling, translation and rebundling of instruction...

Undo infrastructure

Undoing changes in a software configuration management system

Undoing user actions in a client program

Unification of a programming language and a definition language

Unification-based points-to-analysis using multilevel typing

Unified compiler framework for control and data speculation...

Unified data type system and method

Unified data type system and method