Patterns for Maude Metalanguage Applications

DOI10.1016/j.entcs.2009.05.016zbMath1347.68083OpenAlexW2093056781WikidataQ62041046 ScholiaQ62041046MaRDI QIDQ5179132

Georgiana Caltais, Eugen-Ioan Goriac, Oana Andrei, Dorel Lucanu, Gheorghe Grigoras

Publication date: 19 March 2015

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.2009.05.016

zbMATH Keywords

software patternsMaude languageMaude metalanguage applications

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CIRC
• Maude

Cites Work

• A rewriting logic framework for operational semantics of membrane systems
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Membrane computing. An introduction.
• Deduction, Strategies, and Rewriting
• CIRC: A Circular Coinductive Prover
• Strategy-Based Proof Calculus for Membrane Systems

This page was built for publication: Patterns for Maude Metalanguage Applications