Pages that link to "Item:Q2844058"
From MaRDI portal
The following pages link to Cost-sensitive diagnosis of declarative programs (Q2844058):
Displaying 4 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Certifying and Reasoning on Cost Annotations of Functional Programs (Q3167527) (← links)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (Q3623950) (← links)
- On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging (Q6104765) (← links)