The following pages link to Coinductive Logic Programming (Q5449611):
Displayed 6 items.
- Coinductive big-step operational semantics (Q1012129) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)