Pages that link to "Item:Q1703014"
From MaRDI portal
The following pages link to Relational program reasoning using compiler IR (Q1703014):
Displaying 7 items.
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Certified verification of relational properties (Q2165505) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- (Q5016380) (← links)
- (Q5016382) (← links)
- (Q5866353) (← links)
- Abstract execution (Q6535957) (← links)