Top: Constraint solving framework employed by the Helium Compiler.
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.
Modules
[Index]
- 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 [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.7 |
---|---|
Dependencies | base (>=3 && <5), containers, mtl, parsec [details] |
Tested with | ghc ==7.0.2, ghc ==7.0.3, ghc ==7.4.1 |
License | LicenseRef-GPL |
Copyright | (c) 2012 |
Author | Bastiaan Heeren, Jurriaan Hage |
Maintainer | helium@cs.uu.nl |
Category | Constraints |
Home page | http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome |
Source repo | head: svn checkout https://subversion.cs.uu.nl/repos/staff.jur.Top/trunk |
Uploaded | by JurriaanHage at 2012-08-21T08:18:10Z |
Distributions | |
Reverse Dependencies | 2 direct, 0 indirect [details] |
Executables | topsolver |
Downloads | 2140 total (1 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |