DACTL
Declarative Alvey Compiler Target Language.
An intermediate language from the {University of East Anglia},
used in the {Flagship} project. DACTL is based on a form of
{graph rewriting} which can be used to implement {functional
languages}, {logic languages} and {imperative languages}. The
current version is Dactl0.
["DACTL - A Computational Model and Compiler Target Language
Based on Graph Reduction", J.R.W. Glauert et al, ICL Tech J
5(3) (1987)].
(1994-09-22)