1. Deriving linear size relations for logic programs by abstract interpretation

   • Danny De Schreye
   • Kristof Verschaetse

   Regular Papers Pages: 117 - 154

2. Compile-time analysis of nonlinear constraints in CLPR

   • Michael Hanus

   Regular Papers Pages: 155 - 186

3. Computing as compression: An overview of the SP theory and system

   • J. Gerard Wolff

   Regular Papers Pages: 187 - 214

4. Computing as compression: SP20

   • J. Gerard Wolff

   Regular Papers Pages: 215 - 241