ml-burg
Code generator for Standard ML
Install
- All systems
-
curl cmd.cat/ml-burg.sh
- Debian
-
apt-get install ml-burg - Ubuntu
-
apt-get install ml-burg - Kali Linux
-
apt-get install ml-burg - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install ml-burg - Dockerfile
- dockerfile.run/ml-burg
ml-burg
Code generator for Standard ML
ml-burg generates a Standard ML program to perform bottom-up rewriting of an input tree. Cost information associated with each rewrite rule is used to derive the minimum rewrite cost for the entire tree. A successful reduction corresponds to rewriting the input tree to a special non-terminal symbol called the "start" non-terminal. Upon successful reduction, facilities are provided to walk the tree emitting semantic actions corresponding to the rules that matched. Install this package if you want to write a compiler in SML using a burg specification.