Skip navigation links

Package dk.brics.tajs.analysis

Ties together the various parts of the analysis.

See: Description

Package dk.brics.tajs.analysis Description

Ties together the various parts of the analysis. Also models type conversions, exceptions, function calls and controls the context sensitivity and worklist ordering.
Author:
Anders Møller <amoeller@cs.au.dk>, Peter Thiemann <thiemann@informatik.uni-freiburg.de>, Simon Holm Jensen <simonhj@cs.au.dk>
Skip navigation links

Copyright © 2009-2017 Aarhus University