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

1995 Fiscal Year Final Research Report Summary

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
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.

  • Research Products

    (44 results)

All Other

All Publications (44 results)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] A.Middeldorp: "Simple termination is difficult" AAECC. 6. 115-128 (1995)

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

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Yamada and A.Middeldorp: "Modularity of Level-Confluence for Conditional Term Rewriting Systems" Computer Software. 12 (5). 72-84 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] A.Middeldorp: "A Deterministic Lazy Narrowing Calculus" Proc.of Fuji Int.Workshop on Functional and Logic Programming. 48-62 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] S.Okui et al.: "Lazy narrowing : Strong completeness and eager variable elimination" TAPSOFT CAAP. LNCS 915. 394-409 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [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
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Ida and K.Nakahara: "Leftmost outside-in narrowing calculi" J.of Functional Programming. (To Appear).

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

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

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1997-03-04   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi