The Tag-Frame system of resource management  reunited two divergent threads of linear logic programming research by achieving the efficient proof search behaviour of abstract systems, such as , while using a low-level tag-based approach, as in , suitable for specifying an abstract machine. However, Tag-Frame relies on set operations which are linear in the size of the sets, and is not as efficient, in general, as it could be. We present a new tag-based derivation system which relies solely on low-level concepts to implement efficient resource management, where most linear time operations have been replaced by constant time ones. Though motivated and informed by the Tag-Frame system, we derive our system directly from, and prove its correctness with respect to the system of Cervesato et al. . An abstract machine based on the new system has been implemented by Tamura and Banbara, and its performance compared to their previous machine.
Weitere Kapitel dieses Buchs durch Wischen aufrufen
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
- Implementing Efficient Resource Management for Linear Logic Programming
- Springer Berlin Heidelberg
Neuer Inhalt/© ITandMEDIA