.K ファイル拡張子

K Frameworkソースコードファイル

開発元	Runtime Verification
人気度	2.0 \| 6 票

Kファイルとは？

Kファイルには、Kソースコードを含むプログラミング言語で書かれたソースコードが含まれています。開発者は、Microsoft Visual Studio Codeなどのソースコードエディターを使用してKファイルを作成します。その後、K Frameworkコンパイラー（kompile）を使用してファイルをコンパイルします。

詳細情報

Microsoft Visual Studio Codeで開いた.kファイルのスクリーンショット — Microsoft Visual Studio Codeで開いたKファイル

Kは、開発者がプログラミング言語やソフトウェアシステム、ハードウェアシステムを設計およびモデル化できるフレームワークです。このフレームワークには、Kと呼ばれる独自のプログラミング言語が含まれています。

K Frameworkを使用する開発者は、K言語でプログラムを記述し、そのプログラムのソースコードをKファイルとして保存します。通常、各Kファイルには1つ以上のモジュールが含まれており、プログラムの関数（複数可）を定義します。各モジュールの名前は、ハイフンで区切られた、文字、数字、アンダースコアの1つ以上のグループで構成されます。モジュールは主に、構文とルールで構成されます。また、モジュールは、他のKファイルに保存された別のモジュールをインポートすることもできます。

開発者はKファイル（複数可）の作成を終えると、kompileを使用してファイルをコンパイルできます。その後、krunを使用して、Kファイル（複数可）に含まれるプログラムを実行できます。