A runtime system for logical-space programming. - Eloi Pereira; Clemens Krainer; Pedro Marques da Silva; Christoph M. Kirsch; Raja Sengupta 002 (SWEC@CPSWeek, 2015)