Interprocedural Pointer Analysis in Goanna

by Jörg Brauer, Ralf Huuck, Bastian Schlich
Reference:
Interprocedural Pointer Analysis in Goanna (Jörg Brauer, Ralf Huuck, Bastian Schlich), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 254, 2009. (Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009))
Bibtex Entry:
@article { BHS09,
	author = { Brauer, J{"o}rg and Huuck, Ralf and Schlich, Bastian },
	title = { Interprocedural Pointer Analysis in Goanna },
	journal = { Electronic Notes in Theoretical Computer Science },
	volume = { 254 },
	pages = { 65–83 },
	year = { 2009 },
	note = { Proceedings of the 4th International Workshop on Systems
		Software Verification (SSV 2009) },
	publisher = { Elsevier },
	issn = { 1571-0661 },
	url = { http://portal.acm.org/citation.cfm?id=1630458 },
	i11key = { conference },
	for_reporting_period = { Old },
}

Bookmark the permalink.