Pages that link to "Item:Q5387854"
From MaRDI portal
The following pages link to Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics (Q5387854):
Displayed 7 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Program equivalence by circular reasoning (Q493521) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)