| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10328978 | Electronic Notes in Theoretical Computer Science | 2005 | 5 Pages |
Abstract
Maude is a reflective language supporting both rewriting logic and membership equational logic. Reflection is systematically exploited in Maude, endowing the language with powerful metaprogramming capabilities, including declarative strategies to guide the deduction process.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Francisco Durán,