時相線形論理型言語のコンパイラ処理系のための抽象機械について

IPSJ Web Site 1 Citations 20 References

Bibliographic Information

Other Title
  • ジソウ センケイ ロンリガタ ゲンゴ ノ コンパイラ ショリケイ ノ タメ ノ チュウショウ キカイ ニ ツイテ
  • An Abstract Machine for a Compiler System of a Temporal Linear Logic Programming Language

Search this article

Abstract

線形論理に基づく論理型言語については，過去10 年間にわたり数多くの言語が提案されている．これらの言語では，リソース（使用回数を制限されたプログラム節）を動的に追加，消費（使用）することが可能である．しかしながら，「リソースを消費する際の時間的順序を正確に記述する」というようなリソースの時間に依存した性質を表現することは困難であった．本稿では，直観主義時相線形論理に基づく論理型言語TLLP の概要と，そのコンパイラ処理系のための抽象機械について述べる．TLLP 言語はProlog と線形論理型言語LLP の自然な拡張になっており，線形論理型言語のリソース概念に加え，どの時刻でリソースを使用するかといった時相性を記述できる．抽象機械は，TLLPのための効率的な計算モデルであるレベル付きIOT モデルに基づいて設計されており，WAM およびLLP のための抽象機械LLPAM の拡張になっている．拡張は，主として使用時刻を制限されたリソースの効率の良い管理，特にリソースの追加，消費のためである．現在，TLLP コンパイラ処理系のプロトタイプ版が稼働中であり，TLLP からLLP へのトランスレータ処理系と比較して，1.6 倍以上の高速化を実現している．

A number oflogic programming languages based on linear logic have been proposed in the last ten years.Although these languages can add and consume resources (limited-use clauses) dynamically,they run into difficulties with time-dependent properties ofresources,in particular,when we have to describe precisely the order ofthe moments when some resources are consumed.This paper describes an abstract machine for a logic programming language based on a fragment of intuitionistic temporal linear logic,called TLLP.TLLP is a superset ofProlog and LLP which is an another linear logic programming language.TLLP allows to specify the time-dependent properties of resources.TLLP Abstract Machine is based on a level-based resource management system and is an extension ofWAM and LLPAM (LLP Abstract Machine).Our extension is mainly for efficient timed-resource management:especially for resource addition and consumption.Our prototype compiler produces 1.6 or more times faster code compared with a TLLP to LLP translator.

Journal

Citations (1)*help

See more

References(20)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top