This software implements a generic analysis
tool for full ML (including higher-order functions,
arrays, refs, continuations, exceptions,
modules, etc.), based in the ideas of set-based
analysis. The purpose of the tool is to provide
a variety of information for program transformation
Nevin Heintze, Fox Project, CMU
Computer Science Department
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania 15213-3891
Voice: (412) 268-6739
Number of Users:
Number of Sites:
2 (CMU, Aarhus)
July 93 - present
A modified version of SML/NJ 0.93
(currently being ported to the Fox ML 1.05 compiler)
Not available at this stage.
This will probably change when the port
to 1.05 is completed.
N. Heintze, "Set-Based Analysis of ML Programs",
ACM Conference on Lisp and Functional Programming,
pp. 306--317, 1994.
N. Heintze, "Set-Based Analysis of Arithmetic",
Carnegie Mellon University technical report CMU-CS-93-221,
20pp., December 1993.