Can Logic Programming Execute as Fast as Imperative Programming? [References] (1990) [95 citations — 4 self]
by
Peter Lodewijk Van Roy
,
E. Tick
,
D. H. D. Warren
,
Towards Pipelined
,
Prolog Processor
,
Symposium On Logic
Add To MetaCart
Abstract:
Bibliographic references of "Can Logic Programming Execute as Fast as Imperative Programming?", Van Roy
Citations
| 44 | An Instance of Abstract Interpretation Integrating Type and Mode Inferencing – Janssens, Bruynooghe - 1988 |
| 18 | The Occur-Check Problem Revisited – Beer - 1988 |
| 10 | An Overview of the PL.8 – Auslander, Hopkins - 1982 |
| 5 | RISCs vs. CISCs for Prolog: A case study – Borriello, Cherenson, et al. - 1987 |
| 4 | An Advanced Silicon Compiler – Bush, Cheng, et al. - 1987 |
| 4 | The bottom-up design of a Prolog architecture – Carlson - 1989 |
| 2 | A Survey of Automated Deduction, Exploring – Bledsoe, Hodges - 1988 |
| 2 | The Design and Implementation of a HighSpeed – Bowen, Buettner, et al. - 1986 |

