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

Active Bibliography

5 QD-Janus: a Sequential Implementation of Janus in Prolog – Saumya K. Debray - 1993
15 Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages – Koen De Bosschere, Saumya Debray, David Gudeman, Sampath Kannan - 1994
49 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
1 Warren’s Abstract Machine ATUTORIAL RECONSTRUCTION – Hassan Aït-kaci, Forêt Des Flambertins - 1999
4 Weighted Decision Trees – Saumya Debray, Sampath Kannan, Mukul Paithane - 1992
1 Implementing Concurrent Logic and Functional Languages in Dactl – George A. Papadopoulos - 1997
4 A new Scheme for Unification in WAM. – Andre Marien, Bart Demoen - 1991
1 Can Prolog Execute as Fast as Aquarius – Bart Demoen, André Mariën - 1992
1 Compiling Prolog - From the PLM to the WAM and Beyond – Joshua S. Hodas - 1990
Open Prolog: a Structure-Sharing Prolog for the Macintosh – Michael Brady - 2005
3 Implementation Techniques for Prolog – Andreas Krall - 1994
15 Efficient Execution of HiLog in WAM-based Prolog implementations – Konstantinos Sagonas, David S. Warren - 1995
76 Global Flow Analysis as a Practical Compilation Tool – M. V. Hermenegildo, R. Warren, S. K. Debray - 1992
1 Compiler Optimizations for Low-level Redundancy Elimination: An Application of Meta-level Prolog Primitives – Saumya K. Debray - 1992
11 Concurrent Logic/Constraint Programming: The Next 10 Years – Kazunori Ueda - 1999
1 A Pure Meta-Interpreter for Flat GHC, A Concurrent Constraint Language – Kazunori Ueda
4 Better Late Than Never – Micha Meier - 1995
Towards CIAO-Prolog - A Parallel Concurrent Constraint System – M. Hermenegildo - 1993
2 Improving the Efficiency of Nondeterministic Independent And-parallel Systems – Enrico Pontelli , Gopal Gupta, Manuel Carro, DongXing Tang, Manuel Hermenegildo - 1996