The topic of set constraints is a peral maong the research top0ics on constraints. It combines theortical investigations (ranging from lgoical expressiveness, decidability, algorithms and complexity analysis to program semantics and domain theory) with practical experiments in building systems for program analysis, addressing quaestions like implmention issues and scalability. The research has its direct applications in type inference, optimization and verification of imperative, functional, logic and reactive programs.
展开▼