LISPPA (List Processing based on the Polymorphic Arrays) is new technology of the processing dynamic data structures without using pointers. It considerably extends the applicability of imperative programming languages in the symbolic computations. Programs, written in paxScript languages, illustrate the use of LISPPA in the theorem proving and symbolic differentiation.
New: