The Maude 2.0 system
From MaRDI portal
Recommendations
- Towards Maude 2. 0
- Maude: specification and programming in rewriting logic
- Programming and symbolic computation in Maude
- Rewriting logic and Maude: Concepts and applications
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
Cited in
(55)- On linear logic planning and concurrency
- Model-checking user behaviour using interacting components
- Equational rules for rewriting logic
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Explaining safety failures in NetKAT
- Pattern eliminating transformations
- Parameterized strategies specification in Maude
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
- Strategies for combining decision procedures
- Executable structural operational semantics in Maude
- Rewriting-based repairing strategies for XML repositories
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering
- Algebraic correctness proofs for compiling recursive function definitions with strictness information
- A probabilistic approximate logic for neuro-symbolic learning and reasoning
- Towards Maude 2. 0
- Parameterized theories and views in full Maude 2. 0
- Equational abstractions in rewriting logic and Maude
- Built-in variant generation and unification, and their applications in Maude 2.7
- Towards behavioral Maude: behavioral membership equational logic
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
- Inducing constructor systems from example-terms by detecting syntactical regularities
- Coding mobile synchronizing Petri nets into rewriting logic
- Programmed strategies for program verification
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- Partial order reduction for rewriting semantics of programming languages
- Solving Sudoku puzzles with rewriting rules
- A rewriting logic framework for soft constraints
- Expander2: program verification between interaction and automation
- Combining runtime checking and slicing to improve Maude error diagnosis
- Two Decades of Maude
- UTPCalc -- a calculator for UTP predicates
- Integrating Maude into Hets
- Tactics for Reasoning Modulo AC in Coq
- Generating specialized interpreters for modular structural operational semantics
- Analytical Inductive Functional Programming
- The Maude LTL model checker and its implementation
- Generalized rewrite theories
- A metamodel of access control for distributed environments: applications and properties
- Domain science and engineering from computer science to the sciences of informatics. II: Science
- A Transformational Approach to Prove Outermost Termination Automatically
- Verifying multithreaded recursive programs with integer variables
- Memory representations in rewriting logic semantics definitions
- Mitigating covert channels based on analysis of the potential for communication
- Inspecting rewriting logic computations (in a parametric and stepwise way)
- Maude as a platform for designing and implementing deep inference systems
- Cadmium: An Implementation of ACD Term Rewriting
- A Non-Deterministic Multiset Query Language
- PTL: a model transformation language based on logic programming
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- Maude2Lean: theorem proving for Maude specifications using Lean
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- Debugging Maude programs via runtime assertion checking and trace slicing
- Proving termination of context-sensitive rewriting by transformation
- SOS formats and meta-theory: 20 years after
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
This page was built for publication: The Maude 2.0 system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4447224)
