擬データと関数による並行プロセス群の記述

書誌事項

タイトル別名
  • Describing a Group of Concurrent Processes with Pseudo Data and Functions

この論文をさがす

説明

遅延評価関数型言語では、プロセスを決定的な関数として表現する手法がよく用いられ、この際入出力の処理は関数の外側にあるOS核が担当する。しかしこの手法では、非決定的処理を表現することも複数のプロセスからの要求が到着した順に処理をするサーバやOS核そのものの記述もできない。そこで我々は、関数型言語に一般的な単一代入ができる擬データを導入し、関数として表現されたプロセスが相互に通信する並行プロセス群全体をも関数として取り扱う機構を提案し、その処理系gofjavaを作成した。コンソール入出力やアブレット等のGUIもこの枠組で扱うことができる。本稿では、このような機構による並行プロセス群の記述とその実現法を述べる。

収録刊行物

キーワード

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

  • CRID
    1571135652193759744
  • NII論文ID
    110002929340
  • NII書誌ID
    AN10485570
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ