The free-theorems-counterexamples package

[Tags: library, program, public-domain]

This program is to verify (or to put into question) strictness conditions on free theorems that arise if a polymorphic lambda calculus is enriched by general recursion. Given a type the program either returns an instance of the corresponding unrestricted free theorem that does not hold and thereby verifies the need of the additional restrictions or it returns without finding such an instantiation and thereby suggests (but not proves) that the strictness conditions are superfluous. The underlying algorithm is described in "Automatically Generating Counterexamples to Naive Free Theorems" (FLOPS'10) by Daniel Seidel and Janis Voigtländer. A webinterface for the program is also available at http://www-ps.iai.uni-bonn.de/cgi-bin/exfind.cgi.

Related to this package you may be interested in the online free theorem generator at http://www-ps.iai.uni-bonn.de/ft that is also available offline via http://hackage.haskell.org/cgi-bin/hackage-scripts/package/free-theorems-webui. Also interesting may be the tool polyseq that generates "optimal" free theorems in a polymorphic lambda calculus with selective strictness. Polyseq can be downloaded at http://hackage.haskell.org/cgi-bin/hackage-scripts/package/polyseq but the functionality is as well provided via a webinterface at http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi.


Properties

Versions0.3, 0.3.0.1, 0.3.0.2, 0.3.1.0
Dependenciesbase (>=1 && <4), cgi, containers (>=0.1.0.1), free-theorems (>=0.3.1), haskell-src (>=1.0), haskell-src-exts (>=0.3.9), HUnit (>=1.2), mtl (>=1.0), pretty (>=1.0.0.0), utf8-string, xhtml or
base (>=4), cgi, containers (>=0.1.0.1), free-theorems (>=0.3.1), haskell-src (>=1.0), haskell-src-exts (>=0.3.9), HUnit (>=1.2), mtl (>=1.0), pretty (>=1.0.0.0), syb (>=0.1.0.0), utf8-string, xhtml
LicensePublicDomain
AuthorDaniel Seidel, Joachim Breitner
Maintainerds@iai.uni-bonn.de
CategoryLanguage
Executablescounterexamples.cgi
Upload dateWed Jul 7 09:13:07 UTC 2010
Uploaded byDanielSeidel
Downloads280 total (27 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees