Source : Free On-Line Dictionary of Computing

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
        language}s, {logic language}s 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)