Search dblp for Publications

export results for "toc:db/conf/maude/maude2007.bht:"

 download as .bib file

@incollection{DBLP:conf/maude/ClavelDELMMT07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Introduction},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {1--28},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_1},
  doi          = {10.1007/978-3-540-71999-1\_1},
  timestamp    = {Wed, 20 Sep 2023 08:58:11 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07a,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Using Maude},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {31--37},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_2},
  doi          = {10.1007/978-3-540-71999-1\_2},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07b,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Syntax and Basic Parsing},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {39--59},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_3},
  doi          = {10.1007/978-3-540-71999-1\_3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07c,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Functional Modules},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {61--118},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_4},
  doi          = {10.1007/978-3-540-71999-1\_4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07d,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {A Hierarchy of Data Types: From Trees to Sets},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {119--129},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_5},
  doi          = {10.1007/978-3-540-71999-1\_5},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07e,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {System Modules},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {131--157},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_6},
  doi          = {10.1007/978-3-540-71999-1\_6},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07f,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Module Operations},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {185--230},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_8},
  doi          = {10.1007/978-3-540-71999-1\_8},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07g,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Predefined Data Modules},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {231--305},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_9},
  doi          = {10.1007/978-3-540-71999-1\_9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07h,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Object-Based Programming},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {339--372},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_11},
  doi          = {10.1007/978-3-540-71999-1\_11},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07i,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Model Checking Invariants Through Search},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {373--384},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_12},
  doi          = {10.1007/978-3-540-71999-1\_12},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07i.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07j,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {{LTL} Model Checking},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {385--418},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_13},
  doi          = {10.1007/978-3-540-71999-1\_13},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07j.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07k,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Reflection, Metalevel Computation, and Strategies},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {419--458},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_14},
  doi          = {10.1007/978-3-540-71999-1\_14},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07k.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07l,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Metaprogramming Applications},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {459--483},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_15},
  doi          = {10.1007/978-3-540-71999-1\_15},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07l.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07m,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {User Interfaces and Metalanguage Applications},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {523--555},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_17},
  doi          = {10.1007/978-3-540-71999-1\_17},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07m.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07n,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Full Maude: Extending Core Maude},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {559--597},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_18},
  doi          = {10.1007/978-3-540-71999-1\_18},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07n.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07o,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Object-Oriented Modules},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {599--642},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_19},
  doi          = {10.1007/978-3-540-71999-1\_19},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07o.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07p,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {A Sampler of Application Areas},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {645--665},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_20},
  doi          = {10.1007/978-3-540-71999-1\_20},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07p.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07q,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Debugging and Troubleshooting},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {697--736},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_22},
  doi          = {10.1007/978-3-540-71999-1\_22},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07q.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07r,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Complete List of Maude Commands},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {737--749},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_23},
  doi          = {10.1007/978-3-540-71999-1\_23},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07r.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMT07s,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Core Maude Grammar},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {751--756},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_24},
  doi          = {10.1007/978-3-540-71999-1\_24},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMT07s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott and
                  Christiano Braga and
                  Azadeh Farzan and
                  Joe Hendrix and
                  Peter Csaba {\"{O}}lveczky and
                  Miguel Palomino and
                  Ralf Sasse and
                  Mark{-}Oliver Stehr and
                  Alberto Verdejo},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Some Tools},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {667--693},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_21},
  doi          = {10.1007/978-3-540-71999-1\_21},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMTPV07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott and
                  Miguel Palomino and
                  Alberto Verdejo},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Playing with Maude},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {159--184},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_7},
  doi          = {10.1007/978-3-540-71999-1\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMTPV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMTPV07a,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott and
                  Miguel Palomino and
                  Alberto Verdejo},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Specifying Parameterized Data Structures in Maude},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {307--338},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_10},
  doi          = {10.1007/978-3-540-71999-1\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMTPV07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/maude/ClavelDELMMTRV07,
  author       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott and
                  Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {Mobile Maude},
  booktitle    = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  pages        = {485--522},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1\_16},
  doi          = {10.1007/978-3-540-71999-1\_16},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/ClavelDELMMTRV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:conf/maude/2007,
  editor       = {Manuel Clavel and
                  Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Patrick Lincoln and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  title        = {All About Maude - {A} High-Performance Logical Framework, How to Specify,
                  Program and Verify Systems in Rewriting Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {4350},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71999-1},
  doi          = {10.1007/978-3-540-71999-1},
  isbn         = {978-3-540-71940-3},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/maude/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.