/region_based_mini_ml

Implementation of region inference for meta language.

Primary LanguageOCamlMIT LicenseMIT

Region based mini ML

This repository contains the implementation of region inference for meta language.

Usage

Required

This version is the same as mine.

  • OCaml (>= 4.03.0)
  • utop (>= 1.19.3)

Compile

$ git clone https://github.com/Everysick/region_based_meta_language.git
$ cd region_based_meta_language
$ make all

Run

Run this and launch utop.

$ ./region_ml

Syntax

WIP

References

  • “Region-Based Memory Management”
    • Mads Tofte, Jean-Pierre Talpin (1996)
  • “A region inference algorithm”
    • Mads Tofte, Lars Birkedal (1998)
  • “Region-based memory management in cyclone”
    • Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney(2002)
  • ”リージョン変数の動的なエイリアス判定によるメモリ効率向上”
    • 米田匡史, 鵜川始陽, 花井 亮, 八杉昌宏, 湯淺太一(2005)

LICENSE

MIT