Tutorial on Maude
Chadlia Jerad

Citation
Chadlia Jerad. "Tutorial on Maude". Talk or presentation, 16, November, 2016; Presented at the Ptolemy Group Lunch.

Abstract
Maude features:

  1. It supports both equational and rewriting logic computation
  2. Membership equational logic improves order-sorted algebra
  3. Rewriting logic is a logic of concurrent change
  4. It is a flexible and general semantic framework for giving semantics to a wide range of languages and models of concurrency
  5. It is a logical framework, i.e., a metalogic in which many other logics can be naturally represented and implemented
  6. Rewriting logic is reflective
  7. This makes possible many advanced metaprogramming and metalanguage applications

Electronic downloads


Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Chadlia Jerad. <a
    href="http://www.icyphy.org/pubs/67.html"
    ><i>Tutorial on Maude</i></a>, Talk or
    presentation,  16, November, 2016; Presented at the Ptolemy
    Group Lunch.
  • Plain text
    Chadlia Jerad. "Tutorial on Maude". Talk or
    presentation,  16, November, 2016; Presented at the Ptolemy
    Group Lunch.
  • BibTeX
    @presentation{Jerad16_TutorialOnMaude,
        author = {Chadlia Jerad},
        title = {Tutorial on Maude},
        day = {16},
        month = {November},
        year = {2016},
        note = {Presented at the Ptolemy Group Lunch.},
        abstract = {Maude features: <ol> <li>It supports both
                  equational and rewriting logic computation
                  <li>Membership equational logic improves
                  order-sorted algebra <li>Rewriting logic is a
                  logic of concurrent change <li>It is a flexible
                  and general semantic framework for giving
                  semantics to a wide range of languages and models
                  of concurrency <li>It is a logical framework,
                  i.e., a metalogic in which many other logics can
                  be naturally represented and implemented
                  <li>Rewriting logic is reflective <li>This makes
                  possible many advanced metaprogramming and
                  metalanguage applications </ol>},
        URL = {http://icyphy.org/pubs/67.html}
    }
    

Posted by Christopher Brooks on 17 Nov 2016.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.