|   | Definition: |   | 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).  |