Dactl

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)