[Om] Binary Encoding in org.symcomp.openmath
fateman at cs.berkeley.edu
Thu Feb 12 17:29:40 CET 2009
Peter seems to have implemented part of the #n# syntax in the ANSI
Common Lisp printer/reader
for common subexpressions. (also circular lists).
This encoding is potentially exponentially faster than the alternative.
Other kinds of compression may be faster for writing and reading. There
is a format "FASL"
in many Lisps that could be used for OM, and might be more compact and
faster for reading.
(Perhaps not faster for writing).
One of the obvious attributes of the notation developed by OM, and one
that it shares with XML, is "it compresses well". ;)
More information about the Om