gas: Limit how many steps a program may take.

[ bsd3, control, library ] [ Propose Tags ]

Programs constructed using free applicatives or free monads may be analyzed statically or dynamically (respectively). This package uses such analysis to limit the number of steps the program may take. This is useful for EDSLs with untrusted input, or in general when you want to guarantee termination by cutting off a program.

Note that this package does not avoid infinite loops in bottom values. Use the System.Timeout module for that instead.

Versions 0.0.0.1
Dependencies base (==4.11.*), free (>=5.0 && <6), transformers (==0.5.5.*) [details]
License BSD-3-Clause
Author
Maintainer rightfold <rightfold@gmail.com>
Category Control
Source repo head: git clone https://gitlab.com/semilattice/gas.git
Uploaded by rightfold at Tue Aug 14 18:59:10 UTC 2018
Distributions NixOS:0.0.0.1
Downloads 66 total (16 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-08-14 [all 1 reports]
Hackage Matrix CI

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees