The Top package
At its most general, Top is a framework for constructing abstract interpretations which focuses on giving good feedback on why an abstract interpretation does not give any useful information. In a mathematical notation this is usually made explicit by returning the top element of a (complete) lattice. This is also one of the reasons for the name of the project.
Properties
| Version | 1.7 |
|---|---|
| Dependencies | base (≥3 & <5), containers, mtl, parsec |
| License | GPL |
| Copyright | (c) 2012 |
| Author | Bastiaan Heeren, Jurriaan Hage |
| Maintainer | helium@cs.uu.nl |
| Stability | provisional |
| Category | Constraints |
| Home page | http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome |
| Source repository | svn checkout https://subversion.cs.uu.nl/repos/staff.jur.Top/trunk |
| Executables | topsolver |
| Upload date | Tue Aug 21 08:18:10 UTC 2012 |
| Uploaded by | JurriaanHage |
| Built on | ghc-7.4 |
Modules
- Top
- Top.Constraint
- Implementation
- Top.Implementation.Basic
- Top.Implementation.FastSubstitution
- Top.Implementation.General
- Top.Implementation.Overloading
- Top.Implementation.SimpleSubstitution
- TypeGraph
- Top.Implementation.TypeGraph.ApplyHeuristics
- Top.Implementation.TypeGraph.Basics
- Top.Implementation.TypeGraph.Class
- Top.Implementation.TypeGraph.ClassMonadic
- Top.Implementation.TypeGraph.DefaultHeuristics
- Top.Implementation.TypeGraph.EquivalenceGroup
- Top.Implementation.TypeGraph.Heuristic
- Top.Implementation.TypeGraph.Path
- Top.Implementation.TypeGraph.Standard
- Top.Implementation.TypeGraphSubstitution
- Top.Implementation.TypeInference
- Interface
- Monad
- Ordering
- Top.Solver
- Top.Types
- Util
Downloads
- Top-1.7.tar.gz (Cabal source package)
- package description (included in the package)