The Reflective Design of Maude's Module Algebra (2000)
by
Francisco Durán
BibTeX
@MISC{Durán00thereflective,
author = {Francisco Durán},
title = {The Reflective Design of Maude's Module Algebra},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In the present paper we discuss how the use of a reflective logic like rewriting logic can change the current way of looking at module operations and to their implementation in declarative languages. We present our experience applying such ideas to the Maude system.
Citations
| 59 | Reflection and strategies in rewriting logic - Clavel, Meseguer - 1996 |
| 35 | Reflection in general logics and in rewriting logic, with applications to the Maude language - Clavel - 1998 |
| 34 | A Reflective Module Algebra with Applications to the Maude Language - Durán - 1999 |
| 17 | Maude: speci and programming in rewriting logic - Clavel, Duran, et al. - 1999 |
| 16 | The semantics of Clear, a speci language - Burstall, Goguen - 1980 |
| 14 | Structured theories and institutions - Durán, Meseguer - 2003 |
| 10 | Axiomatizing re logics and languages - Clavel, Meseguer - 1996 |
| 7 | Maude’s module algebra - Durán, Meseguer - 2007 |
