팔로우
Francisco Durán
제목
인용
인용
연도
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
1856*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
11352002
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
420*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
4122003
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
1192000
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
1181999
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
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
1122007
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
1111999
Formal specification and analysis of domain specific models using Maude
JE Rivera, F Durán, A Vallecillo
Simulation 85 (11-12), 778-792, 2009
1072009
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
1012008
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
952020
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
892012
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
74*2007
MTT: The Maude termination tool (system description)
F Durán, S Lucas, J Meseguer
International Joint Conference on Automated Reasoning, 313-319, 2008
712008
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
702010
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
702007
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
652004
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20