Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs.

Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein

Browse the full PPDP paper archive.