Pages that link to "Item:Q3792215"
From MaRDI portal
The following pages link to Automatic mode inference for logic programs (Q3792215):
Displaying 8 items.
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Type inference in Prolog: A new approach (Q1311964) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Optimization schemas for parallel implementation of non‐deterministic languages and systems (Q2758698) (← links)
- An Improved Proof-Theoretic Compilation of Logic Programs (Q4911140) (← links)
- On the complexity of dataflow analysis of logic programs (Q5204343) (← links)
- A mode analysis of logic programs by abstract interpretation (Q6570937) (← links)
