This repository contains the implementation of region inference for meta language.
This version is the same as mine.
- OCaml (>= 4.03.0)
- utop (>= 1.19.3)
$ git clone https://github.com/Everysick/region_based_meta_language.git
$ cd region_based_meta_language
$ make all
Run this and launch utop.
$ ./region_ml
WIP
- “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)
MIT