Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
From MaRDI portal
Publication:2866804
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
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
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