Features already implemented
- Formalization of rules in a full first-order temporal
predicate logic with linear time
- Well-defined semantics based on abstract state machines
- Concrete rule syntax: XML
- Typechecking rules using a type system similar to
O'Haskell
features: basic subtyping, higher-order functions, and
parametric polymorphism
limitations: a function must not result in a function type, no
partial application
- Interface to the revision control system darcs (CVS
clone)
- Interface to the revision control system subversion (CVS
successor)
- Generating reasonable repairs for inconsistencies
- Visualizing repairs and inconsistencies by nice DAGs (in SVG)
- Incremental generation of repairs
Last modified: Wed Sep 7 07:36:02 CEST 2005