Name: shivers-cfg Version: 0.1 Synopsis: Implementation of Shivers' Control-Flow Analysis 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: BSD3 License-file: LICENSE Author: Joachim Breitner Maintainer: Stability: Experimental Category: Language Build-type: Simple Cabal-version: >=1.2 Library Build-depends: containers, base >=4 && <5, mtl, process, directory, pretty, HPDF, language-dot Exposed-modules: Eval, CPSScheme, ExCF, AbsCF, CPSPrint, CFGraph