Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

DOI10.1016/j.entcs.2007.02.051zbMath1277.68104OpenAlexW2130086153MaRDI QIDQ2866804

Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.051

zbMATH Keywords

operational semanticsrewriting logicMaudeEdenparallel functional languagesrewrite strategies

Mathematics Subject Classification ID

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

Related Items (6)

Parameterized strategies specification in Maude ⋮ The Maude strategy language ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Unnamed Item ⋮ Programming and symbolic computation in Maude ⋮ Deduction, Strategies, and Rewriting

Uses Software

• Haskell
• Maude
• GHC
• Eden

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conditional rewriting logic as a unified model of concurrency
• Handbook of philosophical logic. Vol. 9
• Specification and proof in membership equational logic
• An operational semantics for parallel lazy evaluation
• Secrets of the Glasgow Haskell Compiler inliner
• Parallel functional programming in Eden

This page was built for publication: Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics