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