A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, and Zhendong Su. In Xavier Leroy and Atsushi Ohori, editors, Proceedings of the Second International Workshop on Types in Compilation, volume 1473 of Lecture Notes in Computer Science, pages 78-96, Kyoto, Japan, March 1998. Springer-Verlag.

@INPROCEEDINGS{aikentic98,
  AUTHOR = {Alexander Aiken and Manuel F{\"{a}}hndrich
		  and Jeffrey S. Foster and Zhendong Su},
  TITLE = {{A Toolkit for Constructing Type- and
                  Constraint-Based Program Analyses}},
  BOOKTITLE = {Proceedings of the Second International Workshop on Types in Compilation},
  YEAR = 1998,
  EDITOR = {Xavier Leroy and Atsushi Ohori},
  VOLUME = 1473,
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Kyoto, Japan},
  MONTH = MAR,
  PUBLISHER = {Springer-Verlag},
  PAGES = {78--96}
}

This file has been generated by bibtex2html 1.69

Web Accessibility