The following pages link to Transformations of CLP modules (Q671648):
Displaying 7 items.
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
