コンピュータ ソフトウェア
Print ISSN : 0289-6540
言語モデルLMNtal
上田 和紀加藤 紀夫
著者情報
ジャーナル フリー

21 巻 (2004) 2 号 p. 126-142

詳細
PDFをダウンロード (352K) 発行機関連絡先
抄録

階層的グラフの書換えを基本原理とするプログラミング言語モデルLMNtalについて,設計の背景および関連研究を交えながら解説する.LMNtal(elementalと発音)は,並行計算や多重集合書換えをはじめとするさまざまな計算に関する概念の統合を目指して設計した言語モデルであり,(1)計算モデルとして簡明であることと,(2)多様なプラットフォームで利用可能な実用プログラミング言語のベースとなること,の両立を目指している.処理系も稼働を始めている.本解説ではなるべく多くのプログラム例を交えながら,LMNtalの言語機能について解説するとともに,他の言語や計算モデルに見られる言語機能との関連付けを行なう.関連計算モデルに言及する部分は,並行計算および論理プログラミングに関する初歩的な知識があるとよりよく理解できるあろう.しかし,LMNtal自体の言語機能やプログラム例は予備知識なしで十分理解できるように解説したい.

著者関連情報
© 日本ソフトウェア科学会 2004
前の記事 次の記事

閲覧履歴
feedback
Top