
|
|
Technical Report TR621: Polynomial-Time Query Languages for Untyped Lists
Edward L. Robertson, Lawrence V. Saxton, and Dirk Van Gucht
Unknown Date, 16 pages
- Abstract:
-
We present a language for querying list-based complex objects. These objects are constructible with untyped nodes and hence permit arbitrary-depth sublists. The language is shown to express precisely the polynomial-time generic functions. The language controls complexity by carefully restricting the replication of values and limiting the form and nesting of recursion.
- Available as:
-
There is help available
if you want further information about the available file formats and
software to display and print these files. Return to the Technical Report Index
|