Questions Columns Rows
GitHub icon


xduce - Programming language

< >

xduce is a programming language created in 2003 by Haruo Hosoya and Benjamin C. Pierce.

#2652on PLDB 20Years Old

XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so-called regular expression types) directly correspond to document schemas. XDuce also provides a flexible form of regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction, as well as dynamic typechecking. We survey the principles of XDuce鈥檚 design, develop examples illustrating its key features, describe its foundations in the theory of regular tree automata, and present a complete formal definition of its core, along with a proof of type safety.

Example from the web:
addrbook[ person[name["Haruo Hosoya"], email["hahosoya@kyoto-u"], email["hahosoya@upenn"]], person[name["Benjamin Pierce"], email["bcpierce@upenn"], tel["123-456-789"]]]

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 270 Logout