Pages that link to "Item:Q5030198"
From MaRDI portal
The following pages link to Optimized algorithms for incremental analysis of logic programs (Q5030198):
Displaying 13 items.
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Incremental Abstract Interpretation (Q3297840) (← links)
- Incremental Algorithms for Local Search from Existential Second-Order Logic (Q3524163) (← links)
- Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
- Efficient dataflow analysis of logic programs (Q4302797) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Optimized algorithms for incremental analysis of logic programs (Q5030198) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)