A specification language and service-oriented architecture to support distributed data management.
Partial redundancy elimination for access expressions by speculative code motion.
JCrasher: an automatic robustness tester for Java.
Mapping of bibliographical standards into XML.