AXLE: An Axiomatic Language for String Transformations

AXLE is a language designed for data manipulation.
 Data arranged in a linear form in a workspace 
is transformed according to a table of axioms, called imperatives.
 A transformation consists of a matching 
procedure, which decides where an imperative is applicable,
and a replacement procedure that modifies 
that part of the workspace.  Imperatives are applied
in accordance with definitions of symbolic terms, 
presented systematically in an assertion table.  The
process of definition includes the special case 
of recursive assertions.  Several complete programs
of imperatives are given to show a few applications
of the language.

CACM November, 1965

Cohen, I.
Wegstein, J. H.

CA651101 JB March 6, 1978  6:22 PM

1180	5	1180
1180	5	1180
1180	5	1180
1395	5	1180
1706	5	1180
1180	6	1180
1180	6	1180
1395	6	1180
210	6	1180