Pages that link to "Item:Q3694653"
From MaRDI portal
The following pages link to Some global optimizations for a PROLOG compiler (Q3694653):
Displaying 10 items.
- Abstract interpretation: a kind of magic (Q673498) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- Inductive assertion method for logic pograms (Q1105352) (← links)
- A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
- A methodology for detecting shared variable dependencies in logic programs (Q1186710) (← links)
- Precise goal-independent abstract interpretation of constraint logic programs. (Q1395430) (← links)
- Set-sharing is redundant for pair-sharing (Q1605223) (← links)
- How to invent a Prolog machine (Q1819928) (← links)
- Design of abstract domains using first-order logic (Q1960541) (← links)
- On the complexity of dataflow analysis of logic programs (Q5204343) (← links)
