Resource Management Method for a Compiler System of a Linear Logic Programming Language

Linear logic developed by J.-Y. Girard [2] is expected to be applied for various fields in computer science. There have been several proposals for logic programming language based on linear logic: LO [1], ACL [4], Lolli [3], Lygon [6], and Forum [5], But, none of them have not been implemented as a compiler system.

This paper describes a resource management method of LLPAM which is an extended WAM for a linear logic programming language LLP. LLP is a subset of Lolli. The extension of WAM is mainly for efficient resource management: especially for resource look-up and deletion. In our design, only one table is maintained to keep resources during the execution. Looking-up of a resource is done through a hash table. Deletion of a resource is done by just “marking” the entry in the table. Our prototype compiler produces 20 times faster code compared with a Prolog program which manages resources by a list structure.