TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Existing implementations of analyses that combine context-free and regular reachability are hand optimized and tuned to a particular analysis problem. [The] constraint resolution algorithm allows these analyses to be written at a higher level while also providing an implementation that is more efficient than those written by hand. In short, [researchers] enlarge the class of program analyses that can be solved efficiently with a single constraint resolution algorithm.  2, fiche 1, Anglais, - constraint%20resolution%20algorithm

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol