refa2001

Jakob Rehof, Manuel Fähndrich. Type-base flow analysis: from polymorphic subtyping to CFL-reachability. In POPL, Pages 54-66, 2001.

Keyword

[ Dyntyp ]

Contact

Jakob Rehof
Manuel Fähndrich

BibTex Reference

@InProceedings{refa2001,
   Author = {Rehof, Jakob and Fähndrich, Manuel},
   Title = {Type-base flow analysis: from polymorphic subtyping to CFL-reachability},
   BookTitle = {POPL},
   Pages = {54--66},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)