A Static Analysis for Classical Linear Logic Programming Language.

Kyoung-Sun Kang, Naoyuki Tamura

Browse the full ICLP paper archive.