Home

Publications

Presentations

Programs

Programs

• A static analyzer for XML query-update independence problems
• Demo of a dependency provenance tracking system (SML source code)
• Lux: a simple core language for updating XML. Currently in an alpha stage of development.
• XMLPPM and DTDPPM: XML- and DTD-conscious compression tools
• XParse: a text-to-XML parser generator
• αProlog: an interpreter for a logic programming language based on nominal logic
• FreshLib: a lightweight library for lazy functional programming with names and binding in Haskell
• fzlib: an OCaml generic programming and compression toolkit. (Very out of date.)