jc: An Efficient and Portable Sequential Implementation of Janus (1992)

Cached

Download Links

by David Gudeman , Koenraad De Bosschere , Saumya K. Debray
Venue:PROC. JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, WASHINGTON DC
Citations:22 - 12 self

Documents Related by Co-Citation

97 Can Logic Programming Execute as Fast as Imperative Programming? [References] – Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic - 1990
23 A Portable and Efficient Implementation of KL1 – T Chikayama, T Fujise, D Sekita - 1994
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
15 Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages – Koen De Bosschere, Saumya Debray, David Gudeman, Sampath Kannan - 1994
88 Static Inference of Modes and Data Dependencies in Logic Programs – Saumya K. Debray - 1989
36 wamcc: Compiling Prolog to C – Philippe Codognet, Daniel Diaz - 1995
32 Elementary Logic Programs – P Tarau, M Boyer - 1990
6 Output Value Placement in Moded Logic Programs – Peter A. Bigot, David Gudeman, Saumya Debray - 1994
625 Compiling With Continuations – A W Appel - 1992
26 Turbo erlang: Approaching the speed of C – B Hausman - 1994
52 Janus: a step towards distributed constraint programming – Vijay Saraswat - 1990
34 Parallel Logic Programming – E Tick - 1991
249 Warren’s Abstract Machine: A Tutorial Reconstruction – Hassan Aït-Kaci - 1991
111 Guarded Horn Clauses – Kazunori Ueda - 1986
15 Strand: A Practical Parallel Programming Tool – I Foster, S Taylor - 1989
10 Implementation of Prolog as binary definite Programs – B Demoen, A Marien - 1992
29 on a MIPS: results from a Prolog compiler for a RISC – LIPS - 1990
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
35 On the Complexity of Dataflow Analysis of Logic Programs – Saumya K. Debray - 1992