The following pages link to Logic Programming (Q5191488):
Displaying 4 items.
- Reversing abstract interpretations (Q1330440) (← links)
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (Q5326284) (← links)
- Program Development in Computational Logic (Q5712547) (← links)
- Logic Based Program Synthesis and Transformation (Q5713949) (← links)