.K Extension de fichier
Fichier de code source KFramework
| Développeur | Runtime Verification |
| Popularité |
2,0 | 6 Votes |
Qu'est-ce qu'un fichier K ?
Un fichier K contient du code source écrit dans le langage de programmation K. Les développeurs créent des fichiers K à l’aide d’éditeurs de code source comme Microsoft Visual Studio Code. Ils les compilent ensuite avec le compilateur de K Framework, appelé kompile.
Plus d'informations
K est un framework qui permet aux développeurs de concevoir et de modéliser des langages de programmation ainsi que des systèmes logiciels et matériels. Le framework comprend son propre langage de programmation, appelé K.
Les développeurs qui utilisent K Framework écrivent des programmes avec le langage K et enregistrent le code source de ces programmes dans des fichiers K. En général, chaque fichier K comprend un ou plusieurs modules qui définissent la ou les fonctions d’un programme. Le nom de chaque module se compose d’un ou plusieurs groupes de lettres, de chiffres ou de traits de soulignement, séparés par des tirets. Les modules se composent principalement de la syntaxe et de règles. Ils peuvent également importer d’autres modules, enregistrés dans d’autres fichiers K.
Lorsqu’un développeur a fini de créer son ou ses fichiers K, il peut utiliser kompile pour compiler les fichiers. Il peut ensuite utiliser krun pour exécuter le programme contenu dans son ou ses fichiers K.
Comment ouvrir un fichier K
Vous pouvez ouvrir un fichier K avec Microsoft Visual Studio Code (multiplateforme), Vim (Linux), GNU Emacs (multiplateforme) ou tout autre éditeur de texte ou de code source.
Le développeur de K, Runtime Verification, maintient des extensions de VSCode, Vim et Emacs qui facilitent la modification des fichiers K dans ces programmes. Pour savoir comment télécharger ces extensions, consultez la documentation officielle de K Framework.