Seguir
Francisco Durán
Título
Citado por
Citado por
Año
All About Maude, A High-Performance Logical Framework
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Lecture Notes in Computer Science 4350, 2007
1786*2007
Maude: Specification and programming in rewriting logic
M Clavel, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ...
Theoretical Computer Science 285 (2), 187-243, 2002
11332002
Maude 2.0 Manual
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Available in http://maude. cs. uiuc. edu, 2003
412*2003
The Maude 2.0 System
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
International Conference on Rewriting Techniques and Applications (RTA), 76-87, 2003
4112003
Building equational proving tools by reflection in rewriting logic
M Clavel, F Durán, S Eker, J Meseguer
CAFE: An Industrial-Strength Algebraic Formal Method, 1-31, 2000
1182000
Maude as a formal meta-tool
M Clavel, F Durán, S Eker, J Meseguer, MO Stehr
Formal Methods (FM'99), 1684-1703, 1999
1141999
A reflective module algebra with applications to the Maude language
F Durán
PhD thesis, University of Málaga, Spain, 1999. http://maude. cs. illinois …, 1999
1121999
Formal and Tool Support for Model Driven Engineering with Maude
JR Romero, JE Rivera, F Durán, A Vallecillo
Journal of Object Technology 6 (9), 187-207, 2007
1112007
The Maude system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ...
10th International Conference on Rewriting Techniques and Applications (RTA …, 1999
1101999
Formal specification and analysis of domain specific models using Maude
JE Rivera, F Durán, A Vallecillo
Simulation 85 (11-12), 778-792, 2009
1032009
Proving operational termination of membership equational programs
F Durán, S Lucas, C Marché, J Meseguer, X Urbain
Higher-Order and Symbolic Computation 21 (1), 59-88, 2008
1002008
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
F Durán, J Meseguer
The Journal of Logic and Algebraic Programming 81 (7-8), 816-850, 2012
852012
A graphical approach for modeling time-dependent behavior of DSLs
JE Rivera, F Durán, A Vallecillo
2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009
842009
Programación orientada a objetos con Java
FJ DURÁN MUÑOZ, F GUTIERREZ LOPEZ, E PIMENTEL SANCHEZ
Editorial Paraninfo, 2007
79*2007
Programming and symbolic computation in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020
762020
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
F Durán, J Meseguer
International Workshop on Rewriting Logic and its Applications, 69-85, 2010
692010
MTT: The Maude termination tool (system description)
F Durán, S Lucas, J Meseguer
International Joint Conference on Automated Reasoning, 313-319, 2008
682008
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007
672007
Maude manual (version 2.1)
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
SRI International, Menlo Park, 2005
66*2005
Proving termination of membership equational programs
F Durán, S Lucas, J Meseguer, C Marché, X Urbain
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
642004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20