[Om] Binary Encoding in org.symcomp.openmath

Richard Fateman fateman at cs.berkeley.edu
Thu Feb 12 18:33:20 CET 2009

I see no reason to uncompress to XML.  Presumably the parse tree that 
one gets from XML
can be stored in a compressed form on disk and recreated  in memory, 
without re-parsing.
I assume that is what Lisp FASL does:  builds up the appropriate symbol 
table and specifies
the creation of links, and a simple assembler.

The only time one would need to use XML is when dealing with a program 
that only knows
XML as text string, or perhaps when dealing with a human programmer, for 
whom XML was designed
as some kind of  external interchange format.


Michael Kohlhase wrote:
> Richard Fateman wrote:
>> One of the obvious attributes of the notation developed by OM, and one 
>> that it shares with XML,  is  "it compresses well".  ;)
> while that is good for disk space and network bandwidth, does not really
> help for processing. If we have to uncompress to XML, we still have the
> large parsing job and the large DOM objects in memory :-(
> Michael
>> RJF
>> _______________________________________________
>> Om mailing list
>> Om at openmath.org
>> http://openmath.org/mailman/listinfo/om

More information about the Om mailing list