Optimizing the SICStus Prolog virtual machine instruction set
暂无分享,去创建一个
[1] Bart Demoen,et al. Garbage Collection in Aurora: An Overview , 1992, IWMM.
[2] James R. Bell,et al. Threaded code , 1973, CACM.
[3] Michael Kifer,et al. The XSB System Version 2.5 Volume 1: Programmer's Manual , 2003 .
[4] Julia L. Lawall,et al. Automatic, template-based run-time specialization: implementation and experimental study , 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
[5] Vítor Santos Costa,et al. Optimising Bytecode Emulation for Prolog , 1999, PPDP.
[6] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[7] Mats Carlsson,et al. SICStus Prolog User''s Manual , 1993 .
[8] HaridiSeif,et al. Garbarge collection for Prolog based on WAM , 1988 .
[9] Hassan Aït-Kaci,et al. Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .
[10] Ian Piumarta,et al. Optimizing direct threaded code by selective inlining , 1998, PLDI 1998.
[11] Todd A. Proebsting. Optimizing an ANSI C interpreter with superoperators , 1995, POPL '95.
[12] Bart Demoen,et al. So Many WAM Variations, So Little Time , 2000, Computational Logic.
[13] Peter Van Roy,et al. High-performance logic programming with the Aquarius Prolog compiler , 1992, Computer.