.K Extensión de archivo
Archivo de código fuente de K Framework
| Desarrollador | Runtime Verification |
| Popularidad |
2.0 | 6 Votos |
¿Qué es un archivo K?
Un archivo K contiene código fuente escrito en el lenguaje de programación K. Los desarrolladores crean archivos K con editores de código fuente como Microsoft Visual Studio Code. Después, los compilan con el compilador de K Framework, conocido como kompile.
Más información
K es un framework que permite a los desarrolladores diseñar y modelar lenguajes de programación y sistemas de software y hardware. El framework incluye su propio lenguaje de programación, denominado K.
Los desarrolladores que trabajan con K Framework escriben programas con el lenguaje K y guardan el código fuente de esos programas como archivos K. Normalmente, cada archivo K incluye uno o más módulos, que definen las función(es) de un programa. El nombre de cada módulo consta de uno o más grupos de letras, números o guiones bajos, separados por guiones. Principalmente, los módulos constan de sintaxis y reglas. Los módulos también pueden importar otros módulos, guardados en otros archivos K.
Cuando un desarrollador termina de crear sus archivo(s) K, puede usar kompile para compilarlos. Después, puede usar krun para ejecutar el programa que contienen sus archivo(s) K.
Cómo abrir un archivo K
Puedes abrir un archivo K con Microsoft Visual Studio Code (multiplataforma), Vim (Linux), GNU Emacs (multiplataforma) o cualquier otro editor de texto o código fuente.
El desarrollador de K, Runtime Verification, mantiene extensiones de VSCode, Vim y Emacs que facilitan la edición de archivos K en esos programas. Para obtener información sobre cómo descargar estas extensiones, consulta la documentación oficial de K Framework.