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