[dsdl-discuss] Re: XDuce

Martin> My inital reaction is that XDuceis not suitable for incorporation into DSDL,
Martin> and does not suggest any functionality that we need to add to our standard.

XDuce is considered as one of the key inputs to XQuery. Although I have
preached tree automata to the XML community, it was XDuce that
persuaded the XML database community. XDuce is the first implementation
of typechecking based on tree automata.

However, the biggest contribution is not the XDuce language as practical
programing language but rather the type system and type checking algorithms
behind the XDuce language. So, the SourceForge site is probably not a
good place to begin with. (Well, I am afraid that I have not used XDuce yet.)

More about the theory behind the XDuce language, see journal papers by
Hosoya-san, which are available at:

http://arbre.is.s.u-tokyo.ac.jp/~hahosoya/publ.html

His Ph.D thesis (also available at the same site) covers most the
content of his journal papers.

[1] Haruo Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, December 2000.
http://arbre.is.s.u-tokyo.ac.jp/~hahosoya/papers/phdth.ps

Cheers,

-- 
MURATA Makoto <murata@hokkaido.email.ne.jp>
--
DSDL members discussion list
To unsubscribe, please send a message with the
command  "unsubscribe" to dsdl-discuss-request@dsdl.org
(mailto:dsdl-discuss-request@dsdl.org?Subject=unsubscribe)