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 languages, 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)].

Last updated: 1994-09-22

Nearby terms:


Try this search on Wikipedia, Wiktionary, Google, OneLook.