Skip navigation links

Package dk.brics.tajs.analysis.uneval

Interface between TAJS and the Unevalizer.

See: Description

Package dk.brics.tajs.analysis.uneval Description

Interface between TAJS and the Unevalizer.
Author:
Simon Holm Jensen <simonhj@cs.au.dk>
Skip navigation links

Copyright © 2009-2017 Aarhus University