SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Rewriting Logics and Systems
  • Specification Languages
  • Semantics of Programming Languages
  • Programming Languages based on rewriting
  • Compilation of rewriting onto sequential and parallel machines
Staff Members: Projects:


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