hemc97

Nevin Heintze, David McAllester. On the Cubic Bottleneck in Subtyping and Flow Analysis. In Proc. 22nd Annual IEEE Symp. on Logic in Computer Science (LICS), Warsaw, Poland, June 1997.

Keyword

[ Dyntyp ]

Contact

Nevin Heintze
David McAllester

BibTex Reference

@InProceedings{hemc97,
   Author = {Heintze, Nevin and McAllester, David},
   Title = {On the Cubic Bottleneck in Subtyping and Flow Analysis},
   BookTitle = {Proc. 22nd Annual IEEE Symp. on Logic in Computer Science (LICS), Warsaw, Poland},
   Publisher = {IEEE Computer Society Press},
   Month = {June},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)