A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Static Analysis Method for a Classical Linear Logic Programming Language
2000
Electronical Notes in Theoretical Computer Science
In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover multiplicative connectives which are important for a resource-sensitive feature of linear logic. Our method, in contrast, covers multiplicative conjunction in addition to multiplicative disjunction and linear implication. An abstract
doi:10.1016/s1571-0661(05)80112-4
fatcat:th7uudmmjrfm5jh5kygrhziedq