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)