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 4 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)
- Anti-unification in Constraint Logic Programming (Q5108501) (← links)
- Concolic Testing in CLP (Q5140007) (← links)