[unrev-II] For Howard...Grove Proofs

From: Eric Armstrong (eric.armstrong@eng.sun.com)
Date: Mon Mar 12 2001 - 14:30:58 PST

  • Next message: Eric Armstrong: "[unrev-II] Outline: Report from KT Conference"

    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

    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!

    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:

    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