Pages that link to "Item:Q4592995"
From MaRDI portal
The following pages link to Horn clauses as an intermediate representation for program analysis and transformation (Q4592995):
Displayed 7 items.
- A complete refinement procedure for regular separability of context-free languages (Q264992) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- (Q5020649) (← links)
- Generalization-Driven Semantic Clone Detection in CLP (Q5097639) (← links)
- Anti-unification in Constraint Logic Programming (Q5108501) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)