DMCA

A Static Analysis Method for a Classical Linear Logic Programming Language (2000)

by Kyoung-sun Kang , Naoyuki Tamura
Venue:Information Processing Society of Japan Transactions on Programming
Citations:1 - 1 self