Authors: Rehof, J Fahndrich, M

Citation: J. Rehof et M. Fahndrich, Type-based flow analysis: From polymorphic subtyping to CFL-reachability., ACM SIGPL N, 36(3), 2001, pp. 54-66

Authors: Knoblock, TB Rehof, J

Citation: Tb. Knoblock et J. Rehof, Type elaboration and subtype completion for Java bytecode, ACM T PROGR, 23(2), 2001, pp. 243-272

Authors: Fahndrich, M Rehof, J Das, M

Citation: M. Fahndrich et al., Scalable context-sensitive flow analysis using instantiation constraints, ACM SIGPL N, 35(5), 2000, pp. 253-263

Authors: Rehof, J Mogensen, TAE

Citation: J. Rehof et Tae. Mogensen, Tractable constraints in finite semilattices, SCI COMP PR, 35(2-3), 1999, pp. 191-221