From OBJ to Maude and Beyond

DOI10.1007/11780274_14MaRDI QIDQ5757927zbMATH OpenOpenAlexFDO

Authors José Meseguer

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2172803
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Logical foundations of CafeOBJ
• Maude: specification and programming in rewriting logic
• Specifying, programming and verifying with equational logic

Cited in

(9)

• Soundness in verification of algebraic specifications with OBJ
• Towards behavioral Maude: behavioral membership equational logic
• José Meseguer: scientist and friend extraordinaire
• Two Decades of Maude
• Specifying, programming and verifying with equational logic
• On Equality Predicates in Algebraic Specification Languages
• scientific article; zbMATH DE number 2161773 (Why is no real title available?)
• A Maude environment for CafeOBJ
• Constructive Action Semantics in OBJ

Describes a project that uses

Uses Software

• Maude

This page was built for publication: From OBJ to Maude and Beyond

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