.K 文件扩展名
KFramework Source Code File
| 开发者 | Runtime Verification |
| 受欢迎程度 |
2.0 | 6 票 |
什么是 K 文件？
A K file contains source code written in the K programming language. Developers create K files using source code editors like Microsoft Visual Studio Code. They then compile them using the K Framework compiler, known as kompile.
更多信息
K is a framework that allows developers to design and model programming languages and software and hardware systems. The framework includes its own programming language, referred to as K.
Developers working with the K Framework write programs using the K language and save those programs' source code as K files. Typically, each K file includes one or more modules, which define a program's function(s). Each module's name consists of one or more groups of letters, numbers, or underscores, separated by hyphens. Primarily, modules consist of syntax and rules. Modules can also import other modules, saved in other K files.
After a developer finishes creating their K file(s), they can use kompile to compile the files. They can then use krun to run the program their K file(s) contain.
如何打开 K 文件
You can open a K file with Microsoft Visual Studio Code (multiplatform), Vim (Linux), GNU Emacs (multiplatform), or any other text or source code editor.
K's developer, Runtime Verification, maintains VSCode, Vim, and Emacs extensions that make editing K files in those programs easier. For information on how to download these extensions, refer to the K Framework's official documentation.