The following pages link to How to invent a Prolog machine (Q1819928):
Displaying 4 items.
- A self-applicable partial evaluator and its use in incremental compilation (Q1108782) (← links)
- An abstract machine for the implementation of PARLOG on uniprocessors (Q1115584) (← links)
- C-expressions: A variable-free calculus for equational logic programming (Q1208416) (← links)
- Integrating Cross-Dominance Adaptation in Multi-Objective Memetic Algorithms (Q3627799) (← links)
