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

Intenal Startagies in a Reflective Logic
 by Manuel Clavel & Josť Meseguer.

After introducing the basic notions of reflective logic and internal strategies, we discuss in detail ho reflection can be systematically exploited to design a strategy language internal to a reflective logic in the concrete case of rewriting logic and Maude: and we illustrate the advantages of this new approach to strategies by showing hoe the rules of inference for Knuth-Bendix completion can be given strategies corresponding to completion procedures in a completely modular way, not requiring any change whatsoever to the inference rules themselves.


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