Rewriting Logics and Systems Work: Specification Languages Semantics of Programming Languages Programming Languages based on rewriting Compilation of rewriting onto sequential and parallel machines Staff Members : Dr. Grit Denker Dr. Steven Eker Dr. Patrick Lincoln Projects: Maude Mobile Maude Papers: Certifying and Synthesizing Membership Equational Proofs  (2003) The Maude 2.0 System  (2003) The Maude LTL Model Checker and its Implementation  (2003) Plan in Maude: Specifying an Active Network Programming Language  (2002) The Maude LTL Model Checker  (2002) Associative-Commutative Rewriting on Large Terms Visitors: Francisco Durán Manuel Garcia-Clavel Narciso Martí-Oliet Old Projects: Programming Languages based on rewriting (OBJ3) Parallel Architectures (including the MIMD/SIMD RRM) Parallel Simulation Methodology

About Us    R&D Divisions    Careers    Newsroom    Contact Us
© 2009 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy