Pages that link to "Item:Q997833"
From MaRDI portal
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.
- Metalevel transformation of strategies (Q2667189) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- Equational Abstractions in Rewriting Logic and Maude (Q2797862) (← links)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- Methods for proving termination of rewriting-based programming languages by transformation (Q2808239) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Use of Logical Models for Proving Operational Termination in General Logics (Q2827835) (← links)
- Proving Reachability-Logic Formulas Incrementally (Q2827839) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
- Interpreting abstract interpretations in membership equational logic (Q2841246) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- A tutorial on specifying data structures in Maude (Q2850669) (← links)
- Circular Coinduction: A Proof Theoretical Foundation (Q2888482) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Alice and Bob Meet Equational Theories (Q2945705) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- (Q2980968) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- Proving Termination Properties with mu-term (Q3067476) (← links)
- A Complete Declarative Debugger for Maude (Q3067479) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- Model Checking Security Protocols (Q3176380) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
