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].

Last updated: 2009-02-10

Nearby terms:

Axiom of ChoiceAxiom of Comprehensionaxiom schemaAXLEayaccAYTaz

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