.K Extensão de arquivo
Arquivo de código-fonte do KFramework
| Desenvolvedor | Runtime Verification |
| Popularidade |
2,0 | 6 Votos |
O que é um arquivo K?
Um arquivo K contém código-fonte escrito na linguagem de programação K. Os desenvolvedores criam arquivos K usando editores de código-fonte, como o Microsoft Visual Studio Code. Em seguida, eles os compilam usando o compilador do K Framework, conhecido como kompile.
Mais informações
K é um framework que permite aos desenvolvedores projetar e modelar linguagens de programação e sistemas de software e hardware. O framework inclui sua própria linguagem de programação, chamada K.
Os desenvolvedores que trabalham com o K Framework escrevem programas usando a linguagem K e salvam o código-fonte desses programas como arquivos K. Normalmente, cada arquivo K inclui um ou mais módulos, que definem a(s) função(ões) de um programa. O nome de cada módulo consiste em um ou mais grupos de letras, números ou sublinhados, separados por hífens. Principalmente, os módulos consistem em sintaxe e regras. Os módulos também podem importar outros módulos, salvos em outros arquivos K.
Depois que um desenvolvedor termina de criar seu(s) arquivo(s) K, ele pode usar o kompile para compilar os arquivos. Em seguida, pode usar o krun para executar o programa contido em seu(s) arquivo(s) K.
Como abrir um arquivo K
Você pode abrir um arquivo K com o Microsoft Visual Studio Code (multiplataforma), o Vim (Linux), o GNU Emacs (multiplataforma) ou qualquer outro editor de texto ou código-fonte.
A Runtime Verification, desenvolvedora do K, mantém extensões do VSCode, Vim e Emacs que facilitam a edição de arquivos K nesses programas. Para obter informações sobre como baixar essas extensões, consulte a documentação oficial do K Framework.