] Filters: Author is Terrance Swift [Clear All Filters]
"A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" , pp.125–139, July 2014.
"A Portable Prolog Predicate for Printing Rational Terms", in "International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014)" , pp.141–153, July 2014.
"Secure Implementation of Meta-predicates", in "11th International Symposium on Practical Aspects of Declarative Languages (PADL 2009)" , Springer - LNCS, vol. 5418, pp.269–283, January 2009.