Pages that link to "Item:Q456473"
From MaRDI portal
The following pages link to Program equivalence in a simple language with state (Q456473):
Displaying 5 items.
- Program equivalence by circular reasoning (Q493521) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Denotational Semantics with Nominal Scott Domains (Q5501931) (← links)