| |
| | CDET: Documentation (Site not responding. Last check: 2007-08-23) |
 | | Features illustrated are: definition of two simple consistency rules, language definition including subtypes, automatic derivation of parsers via HaXml, bridging the gap between HaXml-generated Haskell types and CDET-generated Haskell types, S-DAGs, repair collection for two rules. |
 | | This is a joint project with sdandm research. |
 | | Features illustrated are: definition of fifteen consistency rules (simple and complex ones), language definition including subtypes, automatic derivation of parsers via HaXml, bridging the gap between HaXml-generated Haskell types and CDET-generated Haskell types, S-DAGs, repair collection for fifteen rules. |
| www.icsi.berkeley.edu /~jan/projects/CDET/examples.html (199 words) |
|