An early string processing language. Program consists of an

assertion table which specifies patterns, and an imperative

table which specifies replacements. "AXLE: An Axiomatic

Language for String Transformations", K. Cohen et al, CACM

8(11):657-661 (Nov 1965).