Strategies and simulations in a semantic framework

DOI10.1016/J.JALGOR.2007.04.002MaRDI QIDQ5429558zbMATH OpenOpenAlexWikidataFDO

Authors Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo

Publication date 30 November 2007

Published in Journal of Algorithms (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgor.2007.04.002

zbMATH Keywords

Maudeoperational semanticsrewriting logicsimulationsstrategies

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A rewriting semantics for Maude strategies
• Executable structural operational semantics in Maude
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Modular structural operational semantics with strategies
• Programming and symbolic computation in Maude

Cited in

(9)

• Parameterized strategies specification in Maude
• Programming and symbolic computation in Maude
• Executable structural operational semantics in Maude
• Modular structural operational semantics with strategies
• Using Maude and its strategies for defining a framework for analyzing Eden semantics
• Model checking strategy-controlled rewriting systems
• A rewriting semantics for Maude strategies
• Mathematical Foundations of Computer Science 2003
• The Maude strategy language

Describes a project that uses

Uses Software

• Stratego
• Maude
• 2OBJ

This page was built for publication: Strategies and simulations in a semantic framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429558)