Strategies and simulations in a semantic framework

DOI10.1016/j.jalgor.2007.04.002zbMath1131.68059OpenAlexW2157674603WikidataQ123905886 ScholiaQ123905886MaRDI QIDQ5429558

Alberto Verdejo, Miguel Palomino, Narciso Martí-Oliet

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

operational semanticssimulationsstrategiesrewriting logicMaude

Mathematics Subject Classification ID

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

Related Items (4)

Parameterized strategies specification in Maude ⋮ The Maude strategy language ⋮ Unnamed Item ⋮ Programming and symbolic computation in Maude

Uses Software

• Stratego
• Maude
• 2OBJ

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