VDict mobile



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 functionallanguages, 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)