Publications of Francisco Duránhttps://researchr.org/profile/franciscodurn/publicationsPublications of Francisco Durán28/03/2024 10:34The Second Rewrite Engines Competitionhttps://researchr.org/publication/DuranRBBEKKMSV09Francisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. The Second Rewrite Engines Competition. Electronic Notes in Theoretical Computer Science, 238(3):281-291, 2009. [doi]https://researchr.org/publication/DuranRBBEKKMSV0920/08/2009 13:21Playing with Maudehttps://researchr.org/publication/ClavelDELMMTPV07Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. Playing with Maude. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 159-184, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMTPV0720/08/2009 13:27System Moduleshttps://researchr.org/publication/ClavelDELMMT07eManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. System Modules. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 131-157, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMT07e20/08/2009 13:27Introductionhttps://researchr.org/publication/ClavelDELMMT07Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Introduction. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 1-28, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMT0720/08/2009 13:27Specifying Parameterized Data Structures in Maudehttps://researchr.org/publication/ClavelDELMMTPV07aManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo. Specifying Parameterized Data Structures in Maude. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 307-338, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMTPV07a20/08/2009 13:27Functional Moduleshttps://researchr.org/publication/ClavelDELMMT07cManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Functional Modules. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 61-118, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMT07c20/08/2009 13:27Module Operationshttps://researchr.org/publication/ClavelDELMMT07fManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Module Operations. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 185-230, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMT07f20/08/2009 13:27Mobile Maudehttps://researchr.org/publication/ClavelDELMMTRV07Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo. Mobile Maude. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 485-522, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMTRV0720/08/2009 13:27Using Maudehttps://researchr.org/publication/ClavelDELMMT07aManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Using Maude. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 31-37, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMT07a20/08/2009 13:27A Hierarchy of Data Types: From Trees to Setshttps://researchr.org/publication/ClavelDELMMT07dManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. A Hierarchy of Data Types: From Trees to Sets. In Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, pages 119-129, Springer, 2007. [doi]https://researchr.org/publication/ClavelDELMMT07d20/08/2009 13:27