Typing Copyless Message Passing

Typing rule-based transformations over topological collections

Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

Unfolding in CHR

Unicode in Domain-Specific Programming Languages for Modeling & Simulation: ScalaTion as a Case Study

Unique Pattern Matching in Strings

Unit Testing in ASPIDE

Universal Object Oriented Languages and Computer Algebra

Untangling Typechecking of Intersections and Unions

User-friendly explanations for constraint programming

Using a hierarchy of Domain Specific Languages in complex software systems design

Using Bounded Model Checking to Focus Fixpoint Iterations

Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language

Using Ellipsoidal Domains to Analyze Control Systems Software

Using parametric set constraints for locating errors in CLP programs

Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions

Variable and Value Ordering When Solving Balanced Academic Curriculum Problems

Verification of Java Bytecode using Analysis and Transformation of Logic Programs

Verification of Timed Automata Using Rewrite Rules and Strategies

Well-typed Islands Parse Faster