Seuraa
Francisco Durán
Francisco Durán
University of Málaga
Vahvistettu sähköpostiosoite verkkotunnuksessa lcc.uma.es
Nimike
Viittaukset
Viittaukset
Vuosi
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
1618*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
10802002
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
427*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
3982003
Maude as a formal meta-tool
M Clavel, F Durán, S Eker, J Meseguer, MO Stehr
Formal Methods (FM'99), 1684-1703, 1999
1151999
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
1132000
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
1082007
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
1071999
A reflective module algebra with applications to the Maude language
F Durán
PhD thesis, Universidad de Málaga, 1999
1061999
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
992008
Formal specification and analysis of domain specific models using Maude
JE Rivera, F Durán, A Vallecillo
Simulation 85 (11-12), 778-792, 2009
942009
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
792009
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
752012
Programación orientada a objetos con Java
DMF JAVIER, F GUTIERREZ LOPEZ, E PIMENTEL SANCHEZ
Editorial Paraninfo, 2007
722007
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
672010
MTT: The Maude termination tool (system description)
F Durán, S Lucas, J Meseguer
International Joint Conference on Automated Reasoning, 313-319, 2008
662008
The Maude formal tool environment
M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky
International Conference on Algebra and Coalgebra in Computer Science, 173-178, 2007
632007
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
622004
Principles of Mobile Maude
F Durán, S Eker, P Lincoln, J Meseguer
Agent Systems, Mobile Agents, and Applications, 73-85, 2000
582000
A maude tutorial
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...
Computer Science Laboratory, SRI International, 2000
542000
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20