Publications by Seth Goldstein

Conference

Thread-aware logic programming for data-driven parallel programs

2015 • CEUR Workshop Proceedings • 1433:
Cruz F, Rocha R, Goldstein SC

Conference

A parallel virtual machine for executing forward-chaining linear logic programs

2014 • Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 • 125-140
Cruz F, Rocha R, Goldstein SC
Displaying 1 - 25 of 151