Pages that link to "Item:Q877024"
From MaRDI portal
The following pages link to The rewriting logic semantics project (Q877024):
Displaying 31 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Rewriting semantics of production rule sets (Q1931912) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- (Q2848049) (← links)
- A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (Q2873774) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (Q5179127) (← links)
- Hierarchical Design Rewriting with Maude (Q5179129) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395090) (← links)
- Memory Policy Analysis for Semantics Specifications in Maude (Q5743600) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude (Q6671789) (← links)
