Integrating HOL-CASL into the Development Graph Manager MAYA, Proc. FroCoS'2002, pp.2-17, 2002. ,
DOI : 10.1007/3-540-45988-X_2
Algebraic specification, 1989. ,
Reference manual of the LPG specification language and environment (release with disequations), 1994. ,
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS, International Journal of Foundations of Computer Science, vol.12, issue.01, pp.69-98, 2001. ,
DOI : 10.1142/S0129054101000412
The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001. ,
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532
Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, 2001. ,
DOI : 10.1016/S0304-3975(01)00359-0
The CoFI Algebraic Specification Language, available at the CoFI home page, 2003. ,
Rewrite Systems, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50011-1
An Overview of ASF+SDF, Language Prototyping: An Algebraic Specification Approach, pp.1-30, 1996. ,
DOI : 10.1142/9789812830043_0001
Reflective Module Algebra with Applications to the Maude Language, 1999. ,
Fundamentals of algebraic specification 1 and 2, EATCS Monographs on Theoretical Computer Science, vol.6, issue.21, 1985. ,
FERUS: um ambiente de desenvolvimento de especificações CASL, Proceedings of SBES'2002 (Simpósio Brasileiro de Engenharia de Software): Sessão de ferramentas, pp.1-6, 2002. ,
Rewriting logic: roadmap and bibliography, Theoretical Computer Science, vol.285, issue.2, pp.121-154, 2002. ,
DOI : 10.1016/S0304-3975(01)00357-7
La Généralisation : un Outil pour la Réutilisation, p.INPG, 1995. ,
Manipulating algebraic specifications with term-based and graph-based representations, The Journal of Logic and Algebraic Programming, vol.59, issue.1-2, 2003. ,
DOI : 10.1016/j.jlap.2003.12.001
URL : https://hal.archives-ouvertes.fr/inria-00099983
A Tool Support for Reusing ELAN Rule-Based Components, Proceedings of the 4th International Workshop on Rule-Based Programming, RULE'03, Eletronic Notes in Theoretical Computer Science 86.2, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00000752
Relating CASL with other specification languages: the institution level, Theoretical Computer Science, vol.286, issue.2, pp.367-475, 2002. ,
DOI : 10.1016/S0304-3975(01)00369-3
Syntax and semantics of a high-level intermediate representation for asf+sdf, 1998. ,
Efficient annotated terms, Software-Practice and Experience, pp.259-291, 2000. ,
ASF+SDF Meta-Environment User Manual, 2002. ,
The ELAN environment: a rewriting logic environment based on ASF+SDF technology, Proceedings of the 2st International Workshop on Language Descriptions, Tools and Applications, 2002. ,
ASF+SDF parsing tools applied to ELAN, Proceedings of the third International Workshop on Rewriting Logic and Applications, 2000. ,
DOI : 10.1016/S1571-0661(05)80122-7
URL : https://hal.archives-ouvertes.fr/inria-00099385
Syntax Definition for Language Prototyping, 1997. ,
Algebraic Specification, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50018-4