• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Design and system development of a programming language based on a temporal linear logic

Research Project

Project/Area Number 11680359
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionKOBE UNIVERSITY

Principal Investigator

TAKAHASHI Makoto (2000)  Kobe University, Faculty of Human Development, Associate Professor, 発達科学部, 助教授 (50154860)

田村 直之 (1999)  神戸大学, 工学部, 助教授 (60207248)

Co-Investigator(Kenkyū-buntansha) BANBARA Mutsunori  NARA National College of Technology, Department of Liberal Studies, Lecturer, 一般教科, 講師 (80290774)
TAMURA Naoyuki  Kobe University, Faculty of Engineering, Associate Professor, 工学部, 助教授 (60207248)
高橋 真  神戸大学, 発達科学部, 助教授 (50154860)
Project Period (FY) 1999 – 2000
Project Status Completed (Fiscal Year 2000)
Budget Amount *help
¥3,100,000 (Direct Cost: ¥3,100,000)
Fiscal Year 2000: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1999: ¥1,800,000 (Direct Cost: ¥1,800,000)
KeywordsTemporal Linear Logic / Linear Logic / Temporal Logic / Logic Programming Language / Intuitionism / Compiler / 時相腺形論理
Research Abstract

In this research project, the followings are accomplished : the design of Intuitionistic Temporal Linear Logic system ITLL, the design of a logic programming language TLLP which is based on ITLL, and the development of the compiler system of TLLP.
In addition to linear logic operators, ITLL has the following logical operators : a modal operator ○ which is used to specify a resource usable only once at the next time, a modal operator □ which is used to specify a resource usable only once at any time, and a modal operator ! which is used to specify a resource usable any number of times and at any time. All of intuitionistic logic, intuitionistic linear logic, and intuitionistic temporal logic can be embedded into ITLL.
Logic programming language TLLP is based on this ITLL, and it is a super-set of Prolog and a linear logic programming language LLP.In TLLP, it is possible to represent a concept of time-dependent resource consumption.
Computation model of TLLP is given by extending the idea of Miller's uniform proof, Hodas's IO-model, and leveled IO-model of LLP.
Compiler of TLLP is based on the extended leveled IO-model which enables the efficient execution of TLLP programs.
In order to investigate a further efficient implementation of TLLP, we also studied about a translator system of a linear logic programming language into Java and about a static analysis method of a classical linear logic programming language.

Report

(3 results)
  • 2000 Annual Research Report   Final Research Report Summary
  • 1999 Annual Research Report
  • Research Products

    (26 results)

All Other

All Publications (26 results)

  • [Publications] 番原睦則: "線形論理型言語のJava言語による処理系の設計と実装"情報処理学会論文誌:プログラミング. 40・SIG10(PRO5). 1-16 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] M.Banbara: "Translating a Linear Logic Programming Language into Java"Proc.of the the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. 19-39 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] K.Kang: "A Static Analysis Method for Classical Linear Logic Programming Language"Proc.of the 1999 International Conference on Logic Programming. 610-610 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] K.Kang: "A Static Analysis Method for a Classical Linear Logic Programming Language"Proc.of the the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. 2-18 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 田村直之: "直観主義時相線形論理における論理プログラミングについて"情報処理学会論文誌:プログラミング. 41・SIG4(PRO7). 11-23 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 姜京順: "古典線形論理型プログラミング言語の静的解析の一手法について"情報処理学会論文誌:プログラミング. 41・SIG4(PRO7). 42-55 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 姜京順: "線形論理型言語の効率的なリソース管理モデル"コンピュータソフトウェア. 18・0. 138-154 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 番原睦則: "線形論理型言語のコンパイラ処理系のための抽象機械について"コンピュータソフトウェア. 18・1. 39-60 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] BANBARA, Mutsunori: "Java Implementation of a Linear Logic Programming Language (in Japanese)"IPSJ Transactions on Programming. No.40, SIG10 (PRO5). 1-16 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] BANBARA, Mutsunori: "Translating a linear logic programming language into Java"In Proceedings of ICLP'99 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. 19-39 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] KANG, Kyoung-Sun: "A Static Analysis Method for Classical Linear Logic Programming Language"Proc.of the 1999 International Conference on Logic Programming. 610-610 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] KANG, Kyoung-Sun: "A Static Analysis Method for Classical Linear Logic Programming Language"In Proceedings of ICLP'99 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages. 2-18 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] TAMURA, Naoyuki: "Logic Programming in an Intuitionistic Temporal Linear Logic (in Japanese)"IPSJ Transactions on Programming. No.41, SIG4 (PRO7). 11-23 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] KANG, Kyoung-Sun: "A Static Analysis Method for a Classical Linear Logic Programming Language (in Japanese)"IPSJ Transactions on Programming. No.41, SIG4 (PRO7). 42-55 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] KANG, Kyoung-Sun: "Efficient Resource Management Model for Linear Logic Programming Languages (in Japanese)"Computer Software. No.18, Vol.0. 138-154 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] BANBARA, Mutsunori: "An Abstract Machine for a Compiler System of a Linear Logic Programming Language (in Japanese)"Computer Software. No.18, Vol.1. 39-60 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 田村直之: "直観主義時相線形論理における論理プログラミングについて"情報処理学会論文誌:プログラミング. 41・SIG4(PRO7). 11-23 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 姜京順: "古典線形論理型プログラミング言語の静的解析の一手法について"情報処理学会論文誌:プログラミング. 41・SIG4(PRO7). 42-55 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 姜京順: "線形論理型言語の効率的なリソース管理モデル"コンピュータソフトウェア. 18・0. 138-154 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 番原睦則: "線形論理型言語のコンパイラ処理系のための抽象機械について"コンピュータソフトウェア. 18・1. 39-60 (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 田村直之: "直観主義時相線形論理におけるプログラミングについて"情報処理学論文誌:プログラミング. (採録予定). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 番原睦則: "線形論理言語のJava言語による処理系の設計と実装"情報処理学論文誌:プログラミング. 40.SIG10(PRO5). 1-16 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] M.Banbara: "Translating a Linear Logic Programming Language into Java"Proc.of the the Workshop on Paralleism and Implementation Technol-ogy for(Constraint)Logic Programming Languages. 19-39 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 姜京順: "古典線形論理型プログラミング言語の静的解析の一手法について"情報処理学論文誌:プログラミング. (採録予定). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] K.Kang: "A Static Analysis Method for Classical LingicProgurammingu Language"Proc.of the 1999 International Conference on Logic Programming. 610-610 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] K.Kang: "A Static Analysis Method for a Classical LingicProgurammingu Language"Proc.of the the Workshop on Parallelism and Implementation Technol-ogy for (Constraint) Logic Ptogamming Languages. 2-18 (1999)

    • Related Report
      1999 Annual Research Report

URL: 

Published: 1999-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi