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)].
DACAPO « DACNOS « D/A converter « DACTL »
DADS » daemon » DAG