Search
Selected: T

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards Practical Typechecking for Macro Tree Transducers

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards rule-based visual programming of generic visual systems

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Towards the Safe Programming of Wireless Sensor Networks

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Tracing monadic computations and representing effects

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Tradeoffs in Metaprogramming

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Transformation Rules for Locally Stratified Constraint Logic Programs

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Transformations of CCP programs

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Transformations of Logic Programs on Infinite Lists

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Transformations of Logic Programs with Goals as Arguments

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Translating Nondeterministic Functional Language based on Attribute Grammars into Java

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Transmission protocols for instruction streams

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Transporting Functions across Ornaments

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

TSIA: A Dataflow Model

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Tutorial for ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Tutorial on Online Partial Evaluation

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

tym: Typed Matlab

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Typage fort et typage souple des collections topologiques et des transformations

Computer Science – Programming Languages
Scientific paper

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.