Hackage :: [Package]

polyseq: Counter examples to Free Theorems

[ deprecated, language, library, program, public-domain ] [ Propose Tags ]
Deprecated in favor of free-theorems-seq

Given a term, this program calculates a set of optimal Free Theorems that hold in a lambda calculus with Seq. It drops bottom-reflectingness (or totality) restrictions when possible. The theory behind the algorithm is described in the paper "Taming Selective Strictness" (ATPS'09) by Daniel Seidel and Janis Voigtländer.

[Skip to Readme]

Modules

  • Language
    • Haskell
      • FreeTheorems
        • Variations
          • PolySeq
            • Parser
              • Language.Haskell.FreeTheorems.Variations.PolySeq.Parser.ParseTerm
            • Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
            • Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint
            • Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
            • Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.1, 0.1.2, 0.1.2.1
Dependencies array (>=0.1.0.0), base (>=1), bytestring (>=0.9.0.1), cgi (>=3001.1.5.1), containers (>=0.1.0.1), free-theorems (>=0.3.1), haskell-src (>=1.0.1.1), mtl (>=1.1.0.0), network (>=2.1.0.0), old-locale (>=1.0.0.0), old-time (>=1.0.0.0), parsec (>=3.0.0), pretty (>=1.0.0.0), syb (>=0.1.0.0), utf8-string (>=0.3.1.1), xhtml (>=3000.0.2.1) [details]
License LicenseRef-PublicDomain
Author Daniel Seidel
Maintainer ds@iai.uni-bonn.de
Category Language
Uploaded by DanielSeidel at 2010-03-12T22:15:48Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables polyseq.cgi
Downloads 2343 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-30 [all 7 reports]

Readme for polyseq-0.1.1

[back to package description] 
The module polyseq-0.1.1 can be installed the following way:

runhaskell Setup.hs configure --user
runhaskell Setup.hs build
runhaskell Setup.hs haddock
runhaskell Setup.hs install

runhaskell Setup.hs haddock builds the documentation.
This step is not necessary.

After installation the modules
        PolySeq
        PrettyPrint
        TypeTranslator
        TheoremGen
        ParseTerm
are available.

To start the webinterface do

$ ./test.sh

then it runs under  http://localhost:8002/

The webinterface can also be found under

http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi

Enjoy.



Acknowledgements.
=================

Most of the webinterface' code (./src/polyseq-cgi.hs) and the script testcgi.py
are written by 

Joachim Breitner <mail@joachim-breitner.de>.

Thanks!