carta
ml-burg(1)

ml-burg1

A tree parser generator for standard ml

Usage

ml-burg file

Overview

The ml-burg program 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.

Copying

Copyright © 2020 The Fellowship of SML/NJ

This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

History

  • Arch Linux 2026-11-01: the text shown here
  • Debian 12 (Bookworm) to Debian 8 (Jessie)
  • Debian 7 (Wheezy) to Debian 5.0 (Lenny)
  • Debian 2.2 (Potato) to Debian 2.1 (Slink)

Author

ML-Burg was written by Lal George and Florent Guillaume.

From smlnj 110.99.9-1 in Arch Linux 2026-11-01. Parsed by carta from the page's man source.