https://github.com/andreas/monotone-framework

Library for specifying monotone frameworks in OCaml
https://github.com/andreas/monotone-framework

Last synced: 23 days ago
JSON representation

Library for specifying monotone frameworks in OCaml

• Host: GitHub
• URL: https://github.com/andreas/monotone-framework
• Owner: andreas
• License: mit
• Created: 2013-02-13T09:54:22.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2013-02-13T12:54:25.000Z (almost 12 years ago)
• Last Synced: 2024-10-30T06:08:35.505Z (2 months ago)
• Language: OCaml
• Size: 129 KB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
This is a library for specifying monotone frameworks in OCaml, as described in [Principles of Program Analysis](http://www2.imm.dtu.dk/~hrni/PPA/ppa.html). An example using the framework is included in the `refract`-library, which uses monotone frameworks for static code analysis when compiling from one input language, REFRACT, to the source language of [PRISM](http://www.prismmodelchecker.org/).

## Running the example

Requirements:

* ocaml

* ocamlbuild

* menhir

* ocamlgraph

* facile

To build the example with ocamlbuild:

    ocamlbuild -use-menhir -use-ocamlfind -package ocamlgraph,facile refract/compiler.native

This will producce a file `compiler.native`. To run on an example program:

    ./compiler.native refract/programs/self_stabilization.refract

## Copyright

Copyright (c) 2012 Andreas Garnæs. See [LICENSE](LICENSE) for details.