Pages that link to "Item:Q2841959"
From MaRDI portal
The following pages link to Controlling polyvariance for specialization-based verification (Q2841959):
Displaying 6 items.
- Inferring safe Maude programs with ÁTAME (Q1662189) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Polycheck: dynamic verification of iteration space transformations on affine programs (Q2828296) (← links)
- (Q5020658) (← links)
- Anti-unification in Constraint Logic Programming (Q5108501) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)