Type-Directed Flow Analysis for Typed Intermediate Languages

Suresh Jagannathan, Stephen Weeks, Andrew K. Wright. Type-Directed Flow Analysis for Typed Intermediate Languages. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 232-249, Springer, 1997.

@inproceedings{JagannathanWW97,
  title = {Type-Directed Flow Analysis for Typed Intermediate Languages},
  author = {Suresh Jagannathan and Stephen Weeks and Andrew K. Wright},
  year = {1997},
  tags = {data-flow language, analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/JagannathanWW97},
  cites = {0},
  citedby = {0},
  pages = {232-249},
  booktitle = {Static Analysis, 4th International Symposium, SAS  97, Paris, France, September 8-10, 1997, Proceedings},
  editor = {Pascal Van Hentenryck},
  volume = {1302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63468-1},
}