Towards a Generic Trace for Rule Based Constraint Reasoning

Towards a native toplevel for the OCaml language

Towards a Property Preserving Transformation from IEC 61131-3 to BIP

Towards A Shape Analysis for Graph Transformation Systems

Towards a Study of Meta-Predicate Semantics

Towards a Tool-based Development Methodology for Pervasive Computing Applications

Towards a Unified Framework for Declarative Structured Communications

Towards Applicative Relational Programming

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