<language> An early string processing language in which a program consists of an "assertion table" specifying patterns and an "imperative table" specifying replacements.
["AXLE: An Axiomatic Language for String Transformations", K. Cohen et al, CACM 8(11):657-661, Nov 1965].
(2009-02-10)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Axiom of Choice « Axiom of Comprehension « axiom schema « AXLE » ayacc » AYT » az
