The following pages link to (Q4636558):
Displaying 7 items.
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Assertion and hypothesis: a logical framework for their opposition relations: (Q4644474) (← links)
- (Q5016382) (← links)
- (Q5155670) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)