作用型項書換え系に基づく関数論理型言語の設計と実装

被引用文献1件

書誌事項

タイトル別名
  • A Design and Implementation of A Functional-Logic Language Based on Combinatory Term Rewriting Systems

この論文をさがす

説明

関数論理型言語とは関数型言語と論理型言語を融合したプログラミング言語である.本稿で述べる関数論理型言語Evは,関数型言語の特徴である高階関数,遅延評価,及び論理型言語の論理変数や非決定的な実行といった特徴を全て備えている.Evはコンビナトリー項書換え系とナローイングという理論的背景を特ち,効率の良い実行のために設計された計算系LNCに基づいている.本稿では関数論理型言語Evとそのインタプリタの実現方法について述べる.特にEvのプログラムをコンビナトリー項書換え系とみなすための変換方法を与え,Evと理論とのつながりを示す.

収録刊行物

被引用文献 (1)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1571417127170797696
  • NII論文ID
    110002929461
  • NII書誌ID
    AN10112573
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ