Patterns for Maude metalanguage applications

DOI10.1016/J.ENTCS.2009.05.016MaRDI QIDQ5179132zbMATH OpenOpenAlexWikidataFDO

Authors Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoraş

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

Maude languageMaude metalanguage applicationssoftware patterns

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2013572
• Towards software design automation with patterns
• Parallel programming with a pattern language
• scientific article; zbMATH DE number 1326616
• scientific article; zbMATH DE number 1950650

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.
• CIRC: A Circular Coinductive Prover
• Deduction, strategies, and rewriting
• Membrane computing. An introduction.
• Strategy-based proof calculus for membrane systems

Cited in

(4)

• Theory and practice of unparsed patterns for metacompilation
• scientific article; zbMATH DE number 2089393 (Why is no real title available?)
• scientific article; zbMATH DE number 1326616 (Why is no real title available?)
• scientific article; zbMATH DE number 1931714 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude
• CIRC

This page was built for publication: Patterns for Maude metalanguage applications

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