Pages that link to "Item:Q3167025"
From MaRDI portal
The following pages link to Towards a Unified Theory of Operational and Axiomatic Semantics (Q3167025):
Displaying 8 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (Q2031429) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Proving Reachability-Logic Formulas Incrementally (Q2827839) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- All-Path Reachability Logic (Q5170834) (← links)