free-theorems-counterexamples

Release 0.3.1.0

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.

Hackage Download

Keywords
library, program, public-domain, Propose Tags, http://www-ps.iai.uni-bonn.de/cgi-bin/exfind.cgi, http://www-ps.iai.uni-bonn.de/ft, http://hackage.haskell.org/cgi-bin/hackage-scripts/package/free-theorems-webui, http://hackage.haskell.org/cgi-bin/hackage-scripts/package/polyseq, http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi, Skip to Readme, , free-theorems-counterexamples-0.3.1.0.tar.gz, browse, Package description, Package maintainers, DanielSeidel, JanisVoigtlaender, edit package information
License
Other
Install
cabal install free-theorems-counterexamples-0.3.1.0

Stats

Dependent repositories
0
Total releases
4
Latest release
First release
SourceRank
4

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

0.3
0.3.0.1
0.3.0.2
0.3.1.0

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2023-12-02 18:03:33 UTC

Login to resync this project