Re: [relax-ng] Description of Jing's validation algorithm

[James Clark <jjc@jclark.com>]

I updated my paper with a references section.  It's an the same URL

  http://www.thaiopensource.com/relaxng/derivative.html

I cited

Dongwon Lee, Murali Mani, Makoto Murata. Reasoning about XML Schema
Languages using Formal Language Theory.

rather than the Extreme 2001 paper, because I found the former more helpful
wrt the algorithms.

----- Original Message -----
From: "MURATA Makoto" <EB2M-MRT@asahi-net.or.jp>
To: "RELAX NG Mailing List" <relax-ng@lists.oasis-open.org>
Sent: Friday, January 04, 2002 9:50 PM
Subject: Re: [relax-ng] Description of Jing's validation algorithm


> James Clark wrote:
>
> > I would be grateful for reports of bugs or areas where the description
is
> > not comprehensible.
>
> Thanks for writing this.  I tried to provide an overview of
tree-automaton-based
> validation techniques in my paper presented at Extreme 2001.  Hopefully,
Algorithm 5
> in this paper helps to understand your note.
>
> http://citeseer.nj.nec.com/murata00taxonomy.html
>
> I plan to revise this paper and submit it to a journal.
>
> Cheers,
>
> Makoto
>
> ----------------------------------------------------------------
> To subscribe or unsubscribe from this elist use the subscription
> manager: <http://lists.oasis-open.org/ob/adm.pl>
>
>
>