heintze95

Nevin Heintze. Control-Flow Analysis and Type Systems. In Proc. Static Analysis Symposium (SAS), Glasgow, Scotland, Alan Mycroft (ed.), Lecture Notes in Computer Science (LNCS), Volume 983, Pages 189-206, 1995.

Keyword

[ Dyntyp ]

Contact

Nevin Heintze

BibTex Reference

@InProceedings{heintze95,
   Author = {Heintze, Nevin},
   Title = {Control-Flow Analysis and Type Systems},
   BookTitle = {Proc. Static Analysis Symposium (SAS), Glasgow, Scotland},
   editor = {Mycroft, Alan},
   Volume = {983},
   Pages = {189--206},
   Series = {Lecture Notes in Computer Science (LNCS)},
   Publisher = {Springer-Verlag},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)