Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis

Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson. Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings. Volume 4279 of Lecture Notes in Computer Science, pages 200-216, Springer, 2006. [doi]

@inproceedings{GedellGS06,
  title = {Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis},
  author = {Tobias Gedell and Jörgen Gustavsson and Josef Svenningsson},
  year = {2006},
  doi = {10.1007/11924661_13},
  url = {http://dx.doi.org/10.1007/11924661_13},
  tags = {program analysis, analysis, data-flow programming, data-flow, subtyping, data-flow analysis},
  researchr = {https://researchr.org/publication/GedellGS06},
  cites = {0},
  citedby = {0},
  pages = {200-216},
  booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
  editor = {Naoki Kobayashi},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48937-1},
}