6 papers:
ICLP-2004-HanakSS #debugging #library #prolog- FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.
PPDP-2001-NassenCS #prolog #virtual machine- Instruction Merging and Specialization in the SICStus Prolog Virtual Machine (HN, MC, KFS), pp. 49–60.
- PPDP-1999-BaldanCFP #abstract interpretation
- A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
- ICLP-1999-Asvanyi #prolog
- Adding Functions to SICStus Prolog (TÁ), p. 605.
- ALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread
- SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
- ICLP-1994-Haygood #compilation #prolog
- Native Code Compilation in SICStus Prolog (RCH), pp. 190–204.
