Pages that link to "Item:Q3067473"
From MaRDI portal
The following pages link to Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473):
Displayed 12 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- From Jinja bytecode to term rewriting: a complexity reflecting transformation (Q1640985) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Proving Reachability-Logic Formulas Incrementally (Q2827839) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Synthesizing Loops for Program Inversion (Q3453736) (← links)
- All-Path Reachability Logic (Q5170834) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)
- A matching logic foundation for Alk (Q6109482) (← links)