Occam (プログラミング言語)

フリー百科事典『ウィキペディア(Wikipedia)』より

[edit]

Inmos (商標) INMOS)、Tony Hoare の提案、彼または彼女のネイティブ プログラミング言語 [edit] トランスピューター マイクロプロセッサ ただし、他のプラットフォーム向けの実装はすぐに市場に出回っています。 間違いなく、最も一般的に識別されているモデルは occam 2 です。 そのプログラミング ハンドブックは、Steven Ericsson-Zenith などによって インモス. 概要 [edit]

次の例では、インデントと書式設定がコードの解析に重要です: 式は高速道路の先端で終了し、式のリストは先頭にある必要があります。同程度の凹み。 この操作は、オフサイドのルール, おそらく に似た他の言語の絵かもしれません) Haskell と Python

プロセス間の通信は名前付き チャンネル

キーボード ? c 画面 ！ c

 配列 x :=x + 1 y :=xx  

パー は、最も確実な式のリストを開始します。同時に評価されます。 例：

 パー p() q()  
ALT は  のリストを指定します) ガード  コマンド 。 ガードはブール条件とエンター式の集合であり、どちらも必須ではなくなりました。 条件が事実であり、エンター チャネルの準備ができているすべてのガードはヒットです。 多くのヒットの選択肢の 1 つが実行のために選択されます。 例：   ALT count1 <100 & c1 ? データ SEQ count1 :=count1 + 1 マージ !  data count2 <100 & c2 ? データ SEQ count2 :=count2 + 1 マージ ! データ添付？ お問い合わせ SEQ アウト!  count1アウト！  count2   
これは、チャネル c1 または c2 (準備ができている方) からデータを読み取り、それを正しく交差させることができます。統合チャンネルに。  countN が 100 に達すると、対応するチャネルからの読み取りが無効になります。 接続チャネルの照会は、カウントを  に出力することによって応答されます。 外。   言語のリビジョン [edit]  
 
[edit]
1983年「オカム」 」 by INMOS Exiguous
 [4] occam 1 [edit]  [6] occam 1 [2] (1983 年に開始) から借用した言語の初期モデルに変更されました デビッドはおそらく単純にそうするでしょう の EPL と Tony Hoare の CSP に関する作業。 これにより、ターゲット構造の長さを意識してネイティブに接続した途端に統合型スタイルに変更された VAR データ スタイルと、最も簡単な 1 次元の配列がサポートされました。   occam 2 [2] occam 2
[4] は、1987 年に Inmos Ltd によって作成された拡張機能で、フローティングレベル[6]   整数 (INT16、INT32) とバイトのさまざまなサイズに似た、より強力な機能、多次元配列、および追加のデータ形式を作成します。   この改訂により、occam は次のように発展しました。 occam 1 は、特定の優れたアプリケーションを実行できる言語であるのに対し、occam 1 は、アルゴリズムの検査と新しい言語の探索に非常に寛大に変更されました (または、occam 1 コンパイラは、occam 1 で記述されるとすぐに変更されました。 [4] したがって、適度なサイズの優れたアプリケーションは、その制限に関係なく、occam 1 で非常にきれいに記述できるという存在証明があります)。   
occam 2.1 [6]  [6] occam 2.1 
  Inmos によって寄稿されたオッカム言語処理の集まりが終了するとすぐに変更されました。  1994 年に概説され、以前の occam 3 言語 (初期パターンのある段階で「occam91」としても識別される) は、1990 年代初頭に Inmos の Geoff Barrett によって作成されました。  occam 3 を説明する改訂されたリファレンス マニュアルは、近所のコメントのために配布された直後に変更されました  [6] ただし、言語はコンパイラに完全に実装されることはありませんでした。  occam 2.1 は occam に新しい側面のロードを開始しました2、以下を含む:  
名前付きデータフォーム (データ型 x IS y)
 名前付きデータ   パックデータ  スタイル変換のコツについての余暇[6]   元の演算子 (例: BYTESIN )
 [6] チャネルの再入力とチャネル配列    マウントされた長さのアレイを操作から進める可能性があります。  
 [6]  変化のずんぐりしたリストについては、 の付録 P を参照してください。 Inmos occam 2.1 リファレンスマニュアル.   occam-π [6]   [6] occam-π[edit]
 は、Kent Retargetable occam Compiler の後のバリエーションによって実装された occam バリアントの最終的なタイトルです (KRoC ))。 エンブレムの追加 π
 (pi) occam のタイトルは KRoC への言及ですπ計算. 説明として、occam 2.1 コンパイラーの有名な拡張機能の負荷に対応しています: 
  ネスト [edit] プロトコル[edit] 
 降臨のそよ風コース[6]   細胞チャネル、データ、およびプロセス  再帰
 プロトコル 
 継承
 配列 コンストラクタ[6]  拡張 [edit] ランデブー[6]   [6] 証人も[edit] [edit]   XC プログラミング言語。 occam の行ですが、C-vogue の構文です。 
並行プログラミング言語[2]   
リスト並行および並列プログラミング言語の   参考文献  [edit]  [edit] [edit]  ^ ア[6]  
 
 b[4]   
  occam 2.1 リファレンスマニュアル[4]   (PDF)。  SGS-Thomson Microelectronics Ltd. 1995-05-12. Inmos ドキュメント 72 occ 45 03   [edit] 
^
   occam プログラミングマニュアル 。 プレンティスホール。  1984.  ISBN 0-13-629296- 8  .   [6]  ^  
 エリクソン・ゼニス、スティーブン (1988).  occam 2 リファレンスマニュアル 。 プレンティスホール。  ISBN 0 -13-629312-3 .      ^ [edit] クック、バリー M; ピール、RMA (1999-04-11)。  「規律プログラマブルゲートアレイに関するオッカム」
。 クックでは、バリー M. (ed.)。  並列プログラムのアーキテクチャ、言語、および戦術。 第 22 回世界オッカムおよびトランスピューター パーソン ネイバーフッド テクニカル アセンブリー。 キール、イギリス: IOS プレス。  p。  219.  ISBN 
90-5199-480-X 。 取得 2016 -11-28 ).  [edit] ^ バレット、ジェフ; エリクソン-ゼニス、スティーブン (1992-03-31)。  「occam 3 リファレンスマニュアル」  (PDF)。  インモス[4] 。 取得 2008 -03-24 ).  
 [6] ^  バーンズ、フレッド; ウェルチ、ピーター (2006-01-14)。  "occam-pi: CSP と pi-calculus の潜在的に最も驚異的な混合"。 取得 2006 -11-24.