Towards Correctness of Program Transformations Through Unification and Critical Pair Computation
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY
Towards Practical Typechecking for Macro Tree Transducers
Towards rule-based visual programming of generic visual systems
Towards the Safe Programming of Wireless Sensor Networks
Tracing monadic computations and representing effects
Tradeoffs in Metaprogramming
Transformation Rules for Locally Stratified Constraint Logic Programs
Transformations of CCP programs
Transformations of Logic Programs on Infinite Lists
Transformations of Logic Programs with Goals as Arguments
Translating Nondeterministic Functional Language based on Attribute Grammars into Java
Transmission protocols for instruction streams
Transporting Functions across Ornaments
TSIA: A Dataflow Model
Tutorial for ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security
Tutorial on Online Partial Evaluation
tym: Typed Matlab
Typage fort et typage souple des collections topologiques et des transformations