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

Application of Conditional Rewrite Systems to Declarative Programming Languages

Research Project

Project/Area Number 06680300
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionUniversity of Tsukuba

Principal Investigator

IDA Tetsuo  Univ.of Tsukuba, Inst.of Info Sci.and Electronics Professor, 電子・情報工学系, 教授 (70100047)

Co-Investigator(Kenkyū-buntansha) SUZUKI Taro  Univ.of Tsukuba, Inst.of Info Sci.and Electronics Research Associate, 電子・情報工学系, 助手 (90272179)
MIDDELDORP Aart  Univ.of Tsukuba, Inst.of Info Sci.and Electronics Associate Professor, 電子・情報工学系, 助教授 (30251044)
Project Period (FY) 1994 – 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 1995: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1994: ¥1,200,000 (Direct Cost: ¥1,200,000)
Keywordsconditional rewrite system / declarative programming / functional-logic programming language / narrowing / level-confluence / modular property / semantics of programs / 条件付き書換え系 / 宣言型プログラミング / 宣言型言語 / 関数 論理型言語 / 条件付項書換え系
Research Abstract

The objective of our research is the investigation of conditional rewrite systems as a computational model of declarative programming languages. We study narrowing since it is fundamental to give a computational mechanism of functional-logic languages, a class of declarative programming languages. The results we obtained are as follows.
1. We designed two narrowing calculi called OINC (Outside-In Narrowing Calculus) and LNC ( Lazy Narrowing Calculus) in order to give computational mechanisms of declarative programming languages. The two calculi enable us to incorporate the notion of lazy-evaluation, developed in functional programming languages, into functional-logic programming languages. We also obtained completeness results of these calculi for a class of term rewriting systems.
2. We Proposed a syntactic sufficient condition for level-confluence of conditional rewrite systems with extra variables in the right-hand side of their rewrite rules. Level-confluence is an important property to guarantee completeness of narrowing for condtional rewrite systems. Using this result, we showed a new sufficient condition for completeness of narrowing for conditional rewrite systems with extra variables.
3. We investigated a relationship between conditional narrowing and models of declarative programming languages. We showed conditional narrowing is sound and complete with respect to two typical models of functional-logic languages based on strict equations.
4. In order to apply properties of conditional rewrite systems to meta programming in declarative programming languages, we investigated modular properties of conditional rewrite systems. We showed level-confluence in modular for conditional rewrite systems with extra variables.

Report

(3 results)
  • 1995 Annual Research Report   Final Research Report Summary
  • 1994 Annual Research Report
  • Research Products

    (66 results)

All Other

All Publications (66 results)

  • [Publications] 井田哲雄: "Conditional outside-in narrowing." IEICE Transactions on Information and Systems. E77-D (6). 631-641 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] J. W. Klop: "Modularity of confluence : A simplified proof" Information Proceeing Letters. 49 (2). 101-109 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] ミデルドープアート: "Completeness results for basic narrowing" Applicable Algebra in Engineering, Communication and Computing. 5. 213-253 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] S. Antoy: "A sequential reduction strategy" Proc. of the 4th Int. Conf. on Algebraic and Logic Programming, LNCS 850. 168-185 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] ミデルドープアート: "Simple termination revisited" Proc. of the 12th Int. Conf. on Deduction, Nancy, LNAI 814. 451-465 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] ミデルドープアート: "Completeness of combinations of conditional constructor systems" Journal of Symbolic Computation. 17. 3-21 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] ミデルドープアート: "A Deterministic Lazy Narrowing Calculus" Proc. of Fuji Int. Workshop on Functional and Logic Programming. 48-62 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 中原鉱一: "A complete narrowing calculus for higher-order finctional logic programming" Proc. of the 7th Int. Conf. on PLILP '95, LNCS 982. 97-114 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 中川康二: "Compiling Programs of an Applicative Narrowing Calculus" Proc.of Fuji Int. Workshop on Functionl and Logic Programming. 78-91 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 奥居哲: "Lazy narrowing : Strong completeness and eager variable elimination" TAPSOFT CAAP, LNCS 915. 394-409 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 佐々木重雄: "An Efficient Calculus for Constraint Functional-Logic Programming Languages" Proc.of Fuji Int. Workshop on Functionl and Logic Programming. 171-185 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 鈴木大郎: "Level-confluence of conditional rewrite rewrite systems with extra variables in right-hand sides" Proc. of the 6th Int. Conf. on RTA '95, LNCS 914. 179-193 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 浜名誠: "作用型項書換え系に基づく関数論理型言語の設計と実装" 情報処理学会論文誌. 36 (8). 1897-1905 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] ミデルドープアート: "Simple termination is defficult" Applicable Algebra in Engineering, Communication and Computing. 6. 115-128 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 中川康二: "遅延ナロ-イング抽象機械" 電子情報通信学会論文誌. J78-D-1 (5). 467-477 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 佐々木重雄: "制約解消系を備えた関数・論理型言語の処理系とその実装" 情報処理学会論文誌. 36 (9). 2152-2160 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 山田俊行: "条件付き項書換え系における階層合流性のモジュラ性" コンピュータソフトウエア. 12 (5). 72-84 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 浜名誠: "Eqivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language" Proc.of Fuji Int. Workshop on Functional and Logic Programming. 155-170 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 鈴木大郎: "Completeness of Narrowing for Orthogonal Conditional Rewrite Systems" Proc.of Fuji Int. Workshop on Functionl and Logic Programming. 63-77 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 井田哲雄: "Leftmost outside-in narrowing calculi" Journal of Functional Programming. (発表予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] ミデルドープアート: "Lazy narrowing : Strong completeness and eager variable elimination" Theoretical Computer Science. (発表予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 大崎人士: "意味ラベリングによる分配消去法-項書換え系の停止性証明法-" コンピュータソフトウェア. (発表予定).

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] T.Ida and S.Okui: "Conditional outside-in narrowing" IEICE Trans.on info.and Systems. E77-D (6). 631-641 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] J.W.Klop et al.: "Modularity of confluence : A simplified proof" Information processing Letters. 49 (2). 101-109 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Middeldorp and E.Hamoen: "Completeness results for basic narrowing" AAECC. 5. 213-253 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] S.Antoy and A.Middeldorp: "A sequential reduction strategy" Proc.of the 4th Int.Conf.on ALP. LNCS 850. 168-185 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Middeldorp and B.Gramlich: "Simple termination revisited" Proc.of the 12th Int.Conf.on Deduction. LNAI 814. 451-465 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Middeldorp: "Completeness of combination of conditional constructor systems" J.of Symbolic Computation. 17. 3-21 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] M.Hamana et al.: "A Disign and Implementation of a Functional-Logic Language Based on Applicative Term Rewriting Systems" Journal of IPS. 36 (8) (In Japanese). 1897-1905 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Middeldorp: "Simple termination is difficult" AAECC. 6. 115-128 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] K.Nakagawa et al.: "Lazy Narrowing Abstract Machine" Trans.of IEICE. J78-D-1 (5). 467-477 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] S.Sasaki and T.Ida: "A Constraint Functional-Logic Programming Language and Its Implementation" J.of IPS. 36 (9) (In Japanese). 2152-2160 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] T.Yamada and A.Middeldorp: "Modularity of Level-Confluence for Conditional Term Rewriting Systems" Computer Software. 12 (5). 72-84 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] M.Hamana: "Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language" Proc.of Fuji Int.Workshop on Functional and Logic Programming. 155-170 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Middeldorp: "A Deterministic Lazy Narrowing Calculus" Proc.of Fuji Int.Workshop on Functional and Logic Programming. 48-62 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] K.Nakahara: "A Complete narrowing calculus for higher-order functional logic programming" Proc.of the 7th Int.Conf.on PLILP '95. LNCS 982. 97-114 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] K.Nakagawa et al.: "Compiling Programs of an Applicative Narrowing Calculus" Proc.of Fuji Int.Workshop on Functional and Logic Programming. 78-91 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] S.Okui et al.: "Lazy narrowing : Strong completeness and eager variable elimination" TAPSOFT CAAP. LNCS 915. 394-409 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] S.Sasaki: "An Efficient Calculus for Constraint Functional-Logic Programming Languages" Proc.of Fuji Int.Workshop on Functional and Logic Programming. 171-185 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] T.Suzuki et al.: "Level-confluence of conditional rewrite systems with extra variables in right-hand sides" Proc.of the 6th Int.Conf.on RTA '95. LNCS 914. 179-193 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] T.Suzuki: "Completeness of Narrowing for Orthogonal Conditional Rewrite Systems" Proc.of Fuji Int.Workshop on Functional and Logic Programming. 63-77 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] T.Ida and K.Nakahara: "Leftmost outside-in narrowing calculi" J.of Functional Programming. (To Appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] A.Middeldorp: "Lazy narrowing : Strong completeness and eager variable elimination" Theoretical Computer Science. (To Appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] H.Osaki: "Distribution Elimination by Semantic Labelling : Methods for Proving Termination of Term Rewriting Systems" Computer Software. (To Appear) (In Japanese).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1995 Final Research Report Summary
  • [Publications] 浜名誠: "作用型項書換え系に基づく関数論理型言語の設計と実装" 情報処理学会論文誌. 36(8). 1897-1905 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] ミデルドープアート: "Simple termination is difficult" Applicable Algebra in Engineering,Communication and Computing. 6. 115-128 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 中川康二: "遅延ナロ-イング抽象機械" 電子情報通信学会論文誌. J78-D-1(5). 467-477 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 佐々木重雄: "制約解消系を備えた関数・論理型言語の処理系とその実装" 情報処理学会論文誌. 36(9). 2152-2160 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 山田俊行: "条件付き項書換え系における階層合流性のモジュラ性" コンピュータソフトウエア. 12(5). 72-84 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 浜名誠: "Eqiuvalence Between the Quotient Term Model and Least Complete Herbrand Model for a Functional-Logic Language" Proc. of Fuji Int.Workshop on Functional and Logic Programming. 155-170 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 鈴木太郎: "Completeness of Narrowing for Orthogonal Conditional Rewrite Systems" Proc. of Fuji Int.Workshop on Functional and Logic Programming. 63-77 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 井田哲雄: "Leftmost outside-in narrowing calculi" Journal of Functional Programming. (発表予定).

    • Related Report
      1995 Annual Research Report
  • [Publications] ミデルドープアート: "Lazy narrowing:Strong completeness and eager variable elimination" Theoretical Computer Science. (発表予定).

    • Related Report
      1995 Annual Research Report
  • [Publications] 大崎人士: "意味ラベリングによる分配消去法-項書換え系の停止性証明法-" コンピュータソフトウェア. (発表予定).

    • Related Report
      1995 Annual Research Report
  • [Publications] ミデルドープアート: "A Deterministic Lazy Narrowing Calculus" Proc. of Fuji Int. Workshop on Functional and Logic Programming. 48-62 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 中原鉱一: "A complete narrowing calculus for higher-order functional logic programming" Proc. of the 7the Int. Conf. on PLILP'95, LNCS 982. 97-114 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 中川康二: "Compiling Programs of an Applicatived Narrowing Calculus" Proc. of Fuji Int.Workshop on Functional and Logic Programming. 78-91 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 奥居哲: "Lazy narrowing:Strong completeness and eager vadriable elimination" TAPSOFT CAAP. 394-409 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 佐々木重雄: "An Efficient Calculus for Constraint Functional-Logic Programming Languages" Proc. of Fuji Int. Workshop on Functional and Logic Programming. 171-185 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 鈴木大郎: "Level-confluence of conditional rewrite systems with extra Variables in reight-hand sides" Proc. of the 6th Int. Conf. on RTA'95. 179-193 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] 山田俊行, Aart Middeldorp,井田哲雄: "条件付き項書換え系における階層合流性のモジュラ性" コンピュータソフトウェア. (印刷中). (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] Tetsuo Ida,Satoshi Okui: "Conditional Outside-In Narrowing" IEICE Transactions on Informaition and Systems. E77-D. 631-641 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] 中川康二,中原鉱一,鈴木大郎,井田哲雄: "遅延ナロ-イング抽象機械" 電子情報通信学会論文誌. (印刷中). (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] S.Okui,A.Middeldorp,and T.Ida: "Lazy Narrowing:Strong Completeness and Eager Variable Elimination" Proceedings of the 20th Colloquium on Trees in Algebra and Programming,Lecture Notes in Computer Science. (印刷中). (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] T.Suzuki,A.Middeldorp,and T.Ida: "Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides" Proceedings of the 6th International Conferece on Rewriting Techniques and Applications,Lecture Notes in Computer Science. (印刷中). (1995)

    • Related Report
      1994 Annual Research Report
  • [Publications] A.Middeldorp and E.Hamoen: "Completeness Results for Basic Narrowing" Applicable Algebra in Engineering,Communication and Computing. 5. 213-253 (1994)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi