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:25 - 12 self

Active Bibliography

6 jc: An Ecient and Portable Sequential Implementation of Janus – David Gudeman, Koenraad De Bosschere, Saumya K. Debray - 1992
5 QD-Janus: a Sequential Implementation of Janus in Prolog – Saumya K. Debray - 1993
850 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
481 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
452 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
428 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
271 Warren’s Abstract Machine - A TUTORIAL RECONSTRUCTION – Hassan Aït-Kaci - 1999
15 Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages – Koen De Bosschere, Saumya Debray, David Gudeman, Sampath Kannan - 1994
391 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992