The following pages link to (Q4391453):
Displayed 9 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Tree tuple languages from the logic programming point of view (Q877842) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation (Q2841245) (← links)
- Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. (Q4916223) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- Logic programs as specifications in the inductive verification of logic programs (Q4923522) (← links)
- Generalization-Driven Semantic Clone Detection in CLP (Q5097639) (← links)
- (Q5214222) (← links)