The following pages link to How to invent a Prolog machine (Q1819928):
Displaying 7 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)
- Semantics-directed generation of a Prolog compiler (Q1314540) (← links)
- Compiling Prolog to idiomatic Java (Q2909146) (← links)
- Integrating Cross-Dominance Adaptation in Multi-Objective Memetic Algorithms (Q3627799) (← links)
- Towards a methodology for the design of abstract machines for logic programming languages (Q5286920) (← links)