Bruce Lawrence Horn Constrained Objects Degree Type: Ph.D. in Computer Science Advisor(s): James Morris, Jeannette Wing Graduated: December 1993