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.