homepage: ''
changelog-type: ''
hash: 84fddb047153428c2a2205781c8b90764f79cfc5b59e0a89b2383b6b2b2ab0a5
test-bench-deps: {}
maintainer: mail@joachim-breitner.de
synopsis: Implementation of Shivers' Control-Flow Analysis
changelog: ''
basic-deps:
  HPDF: -any
  base: ! '>=4 && <5'
  language-dot: -any
  process: -any
  containers: -any
  mtl: -any
  pretty: -any
  directory: -any
all-versions:
- '0.1'
author: Joachim Breitner
latest: '0.1'
description-type: haddock
description: ! 'In his 1991 dissertation, Olin Shivers introduces a concept

  of control flow graphs for functional languages, provides an algorithm

  to statically derive a safe approximation of the control flow graph and

  proves this algorithm correct. In our student research project,

  Shivers'' algorithms and proofs are formalized using the theorem prover

  system Isabelle.


  This package contains the Haskell prototype of the Isabelle

  formalization, together with some pretty printing and rendering

  facilities. It is provided as a reference, not as a ready-to-use library.'
license-name: BSD3

homepage: ''
changelog-type: ''
hash: 565e027b6dcfe385e6b6b110c13f7702c31258288773276e6b15edeab060914a
test-bench-deps: {}
maintainer: mail@joachim-breitner.de
synopsis: Implementation of Shivers' Control-Flow Analysis
changelog: ''
basic-deps:
  HPDF: -any
  base: ! '>=4 && <5'
  language-dot: -any
  process: -any
  containers: -any
  mtl: -any
  pretty: -any
  directory: -any
all-versions:
- '0.1'
- '0.1.1'
author: Joachim Breitner
latest: '0.1.1'
description-type: haddock
description: ! 'In his 1991 dissertation, Olin Shivers introduces a concept

  of control flow graphs for functional languages, provides an algorithm

  to statically derive a safe approximation of the control flow graph and

  proves this algorithm correct. In our student research project,

  Shivers'' algorithms and proofs are formalized using the theorem prover

  system Isabelle.


  This package contains the Haskell prototype of the Isabelle

  formalization, together with some pretty printing and rendering

  facilities. It is provided as a reference, not as a ready-to-use library.'
license-name: BSD3

Update from Hackage at 2015-09-08T11:18:05+0000
Update from Hackage at 2015-09-08T11:18:05+0000
