] Filters: Author is Frank Pfenning [Clear All Filters]
, "A Linear Logic Programming Language for Concurrent Programming over Graph Structures", in Journal of Theory and Practice of Logic Programming (30th International Conference on Logic Programming (ICLP 2014) Special Issue), Cambridge University Press, vol. 14, pp.493–507, July 2014.
"Bottom-Up Logic Programming for Multicores", in "7th International Workshop on Declarative Aspects and Applications of Multicore Programming (DAMP 2012) - Short Papers" , January 2012. Download: