DACTL
DACTL
An intermediate language from the University of East Anglia,used in the Flagship project. DACTL is based on a form ofgraph rewriting which can be used to implement functional languages, logic languages and imperative languages. Thecurrent version is Dactl0.
["DACTL - A Computational Model and Compiler Target LanguageBased on Graph Reduction", J.R.W. Glauert et al, ICL Tech J5(3) (1987)].