161位KL1推定知名度 0.05%KL1 (Kernel Language One) は、Guarded Horn Clauses (GHC) を基に設計された言語で、並行・並列処理に向いた並行論理プログラミン…
163位ISWIM推定知名度 0.05%ISWIM は、Peter J. Landin が考案し、1966年の Communications of the ACM 誌で発表した The Next 700 Progra…
164位HIGH PERFORMANCE FORTRAN推定知名度 0.05%High Performance Fortran (HPF)は、Fortran 90を拡張し、並列処理対応を盛り込んだものである。ライス大学の計算機科学者ケン・ケネディが主導す…
165位CHAPEL推定知名度 0.05%Chapel とはクレイ社によって開発されたプログラミング言語である。この言語は今もなお「クレイ・カスケード・プロジェクト」として開発されている。もともと、このプロジェクトは米…
166位ALLOY ANALYZER推定知名度 0.05%軽量形式手法の一つ。仕様をモデルとして記述し検証するシステム。定義したデータの関係がどうなるか、模擬試験した結果を順に表示する仕組みがある。設計者が想定していない関係が現れたら…
167位UNIFIED PARALLEL C推定知名度 0.04%Unified Parallel C、UPC は大規模な並列計算機上での高性能計算向けにC言語を拡張して作られたプログラミング言語である。これには、共有大域アドレス空間（対称型…
168位TURING推定知名度 0.04%Turingはプログラミング言語のひとつであり、Pascalよりも汎用的で簡潔に記述でき学習しやすい言語を目指して設計された。言語名称は計算機科学者として著名なアラン・チューリ…
169位COMPONENT PASCAL推定知名度 0.04%Component Pascal はニクラウス・ヴィルトによる Pascal、Modula-2、Oberon、Oberon-2 の伝統をひくプログラミング言語である。Pasca…
170位PARLOG推定知名度 0.04%PARLOG (PARallel LOGic) は、Concurrent Prologに影響を受けたKeith ClarkとSteve Gregoryにより設計された並行論理プ…
KL1推定知名度 0.05%KL1 (Kernel Language One) は、Guarded Horn Clauses (GHC) を基に設計された言語で、並行・並列処理に向いた並行論理プログラミン…KL1推定知名度 0.05%KL1 (Kernel Language One) は、Guarded Horn Clauses (GHC) を基に設計された言語で、並行・並列処理に向いた並行論理プログラミン…
