Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias, DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

THF.StaticAnalysisTHF

Description

Static analysis for THF. NOTE: This implementation covers only THF0!

Documentation