Pages that link to "Item:Q997833"

The following pages link to All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833):

Displaying 50 items.

• MTT: The Maude Termination Tool (System Description) (Q3541712) (← links)
• A Modular Equational Generalization Algorithm (Q3617428) (← links)
• REWRITING LOGIC-BASED SEMANTICS OF <font>P</font> SYSTEMS AND THE MAXIMAL CONCURRENCY (Q3636151) (← links)
• Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
• <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
• Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
• Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
• An Executable Semantics of Clock Constraint Specification Language and Its Applications (Q4686605) (← links)
• Closure via functional dependence simplification (Q4903555) (← links)
• Order-Sorted Generalization (Q4982625) (← links)
• Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
• Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
• (Q5020535) (← links)
• (Q5020553) (← links)
• (Q5020960) (← links)
• mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
• A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (Q5056076) (← links)
• (Q5089038) (← links)
• Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)
• Compositional Specification in Rewriting Logic (Q5108529) (← links)
• How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
• Bounded ACh unification (Q5139278) (← links)
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
• Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures (Q5170162) (← links)
• The tccp Interpreter (Q5170191) (← links)
• Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
• Hierarchical Design Rewriting with Maude (Q5179129) (← links)
• A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)
• Patterns for Maude Metalanguage Applications (Q5179132) (← links)
• Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)
• A Rewriting Semantics for Maude Strategies (Q5179141) (← links)
• Combining Techniques to Reduce State Space and Prove Strong Properties (Q5179142) (← links)
• Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)
• Backward Trace Slicing for Rewriting Logic Theories (Q5200013) (← links)
• Efficient General Unification for XOR with Homomorphism (Q5200040) (← links)
• Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)
• Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)
• Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (Q5256354) (← links)
• A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
• CafeOBJ Traces (Q5403067) (← links)
• Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)
• Functional Logic Programming in Maude (Q5403075) (← links)
• An Institution for Imperative RSL Specifications (Q5403080) (← links)
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method (Q5403083) (← links)
• On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
• Programming in Biomolecular Computation (Q5404089) (← links)
• Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)
• Memory Policy Analysis for Semantics Specifications in Maude (Q5743600) (← links)
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K (Q5883569) (← links)