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)