簡潔な並行言語 L0: 論理型と関数型プログラミングを越えて

平田圭二, 原田康徳, 山崎憲一

あらまし
GHC, Oz などに代表される並行言語が持つ様々な機能を検討し, より簡潔な要素から成る並行言語 L0 を設計した. L0 の特徴は, モード付き論理変数, $¥lambda$ 項による述語の抽象, 任意の変数スコーピング, 制御のための宣言的な結合子などである. 本論文では L0 の構文と実行規則を与え, 幾つかのプログラム例を示す. L0 の記述力や構成要素などに関して議論を行う.

A Simple Concurrent Language L0: Beyond Logic and Functional Programming

Keiji Hirata, Yasunori Harada and Kenichi Yamazaki

Abstract:
By examining several notions possessed by conventional concurrent languages, such as GHC and Oz, we have designed a simple yet powerful concurrent language L0. The features of L0 are moded logic variable, predicate abstraction by $¥lambda$ term, arbitrary variable scoping, declarative connectives for control and so forth. This paper presents the syntax and operational semantics for L0, exhibits sample programs and discusses some issues regarding descriptive power and a set of primitives.