MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

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