Howard Liu, are you there?
This post is mostly intended for you, but it may
be interesting to others, as well.
A reading of the Groves documents shows that it
was intended to be a canonical data-representation
mechanism. However, they can't quite claim that,
for lack of the necessary proofs.
So, should you be interested, here are some
interesting, useful (and needed) proofs:
1. Prove that for any data representation,
a usable Grove representation can be
constructed.
2. Prove that for any data representation,
a usable sGrove (xGrove?) representation
can be constructed.
--where sGrove (xGrove?) is the *simplifed*
version of groves, or the "xml-ified"
version that Lee is constructing. It
leaves out integer types and various
other data types, to create a simpler,
easier to understand, and more easily
used standard.
------------------------ Yahoo! Groups Sponsor ---------------------~-~>
Make good on the promise you made at graduation to keep
in touch. Classmates.com has over 14 million registered
high school alumni--chances are you'll find your friends!
http://us.click.yahoo.com/l3joGB/DMUCAA/4ihDAA/IaAVlB/TM
---------------------------------------------------------------------_->
Community email addresses:
Post message: unrev-II@onelist.com
Subscribe: unrev-II-subscribe@onelist.com
Unsubscribe: unrev-II-unsubscribe@onelist.com
List owner: unrev-II-owner@onelist.com
Shortcut URL to this page:
http://www.onelist.com/community/unrev-II
Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/
This archive was generated by hypermail 2b29 : Mon Mar 12 2001 - 14:42:39 PST