@hackage mcmc-synthesis0.1.2.2

MCMC applied to probabilistic program synthesis

Categories
- Language
License
GPL-3.0-only
Maintainer
Jessica Taylor <jessica.liu.taylor@gmail.com>
Links
Versions
- 0.1.2.2 Sun, 13 Apr 2014
- 0.1.2.1 Sat, 18 May 2013
- 0.1.1.1 Wed, 9 Jan 2013
- 0.1.1.0 Tue, 8 Jan 2013
- 0.1.0.5 Mon, 7 Jan 2013
- 0.1.0.4 Sun, 6 Jan 2013

Installation
In your cabal file:
Dependencies (2)
- base >3 && <=5
- MonadRandom >=0.1 && <0.2
Dependents (2)
@hackage/acme-everything, @hackage/array-forth

A simple implementation of the ideas from "Stochastic Superoptimization" which uses a variant of Markov Chain Monte Carlo (MCMC) to synthesize programs based on a set of test cases. "Stochastic Superoptimization": http://cs.stanford.edu/people/eschkufz/research/asplos291-schkufza.pdf

@hackage mcmc-synthesis0.1.2.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (2)

Dependents (2)