DACTL

Declarative Alvey Compiler Target Language

University of East Anglia

An intermediate language. See Lean, Parallel SML.

"DACTL - A Computational Model and Compiler Target Language Based on Graph Reduction", J. R. W. Glauert et al, ICL Technical Journal 5(3) (1987).

Dactl0