Maude's module algebra

DOI10.1016/J.SCICO.2006.07.002zbMath1116.68047OpenAlexW1979359160WikidataQ114850297 ScholiaQ114850297MaRDI QIDQ882456

Francisco Durán, José Meseguer

Publication date: 23 May 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2006.07.002

zbMATH Keywords

reflectioninstitutionsparameterizationrewriting logicMaudemodule algebramembership equational logicstructured theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Invariant-driven specifications in Maude ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ Two Decades of Maude ⋮ Twenty years of rewriting logic ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting ⋮ Programming and symbolic computation in Maude ⋮ The \(kS_3\)-module algebra structures on \(M_3(k)\)

Uses Software

• CafeOBJ
• Maude

This page was built for publication: Maude's module algebra