Liu, Likai; Kfoury, Assaf J.; Bestavros, Azer; Gabay, Yarom; Bradley, Adam D.; Matta, Ibrahim
(Boston University Computer Science Department, 2005-12-28)
We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: ...