コンビネータマシン用関数型プログラミング言語JCの開発
スポンサーリンク
概要
- 論文の詳細を見る
計算可能なアルゴリズムは,λ式で表現することができる.また,そのλ式はコンビネータという一種の組合せ演算子に変換できる.我々は,このコンビネータ式を直接実行するコンビネータマシンを開発中である.本稿では,このコンビネータマシンのためのプログラミング言語JCの設計方針およびそのコンパイラについて報告する.
- 一般社団法人情報処理学会の論文
- 1990-03-14
著者
関連論文
- 応用力学・構造力学分野における文献データベースの作成とその検索
- 木構造に基づく並列アルゴリズムのリング型並列計算機への実装(並列・分散処理技術)
- 従属性に基づく関係型データベースの概念構造のフレームによる再構築
- スキーマ変換システムTRICSにおける関係型データベースによる概念構造の記述
- スキーマ変換システムTRICSにおける利用者インターフェース
- スキーマ変換システムT_における関係型データベースの概念構造構築について
- スキーマ変換システムTRICSにおける関係型データベースの概念構造構築について
- コンビネータマシンの開発
- 関数型言語向き計算機TFLOM-1の性能評価 (並列処理ハ-ドウェアと言語特集)
- 関数型言語向き計算機アーキテクチャの一方式
- スキ-マ変換システム TRICS における関係型デ-タベ-スの概念構造構築について
- 文字列多項式の因数分解について
- 拡張PASCALを核言語とした数式・数値処理ハイブリッドシステムの実現と評価
- コンビネータマシン用関数型プログラミング言語JCの開発
- 非可換多項式の因数分解について