Documents IBM Research © 2004 IBM Corporation Applications of Type Constraints in Software Engineering Tools....

Slide 1 IBM Research © 2004 IBM Corporation Applications of Type Constraints in Software Engineering Tools Frank Tip IBM T.J. Watson Research Center Slide 2 IBM Research…