Embedded Files
Conversion from Les to Rewriting Logic
Conversion from Les to Rewriting Logic
The conversion rules produce Maude-compatible language, which can be executed by Maude with the language implementation.
Page updated
Google Sites
Report abuse