Translation consistency checking for modified target...

Translator-compiler for converting legacy management software

Translator-compiler for converting legacy management software

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

Type checking in java computing environments

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...

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

Uniform mechanism for building containment hierarchies

Uninstrumenting in-line code instrumentation via stack...

Unitary data structure systems, methods, and computer...

Universal machine translator of arbitrary languages