.K Estensione file
File di codice sorgente del K Framework
| Sviluppatore | Runtime Verification |
| Popolarità |
2,0 | 6 Voti |
Che cos'è un file K?
Un file K contiene codice sorgente scritto nel linguaggio di programmazione K. Gli sviluppatori creano i file K usando editor di codice sorgente come Microsoft Visual Studio Code. Poi li compilano usando il compilatore del K Framework, noto come kompile.
Maggiori informazioni
K è un framework che consente agli sviluppatori di progettare e modellare linguaggi di programmazione e sistemi software e hardware. Il framework include un proprio linguaggio di programmazione, chiamato K.
Gli sviluppatori che lavorano con il K Framework scrivono programmi usando il linguaggio K e salvano il codice sorgente di quei programmi come file K. In genere, ogni file K include uno o più moduli, che definiscono la funzione(i) di un programma. Il nome di ogni modulo è costituito da uno o più gruppi di lettere, numeri o trattini bassi, separati da trattini. I moduli sono costituiti principalmente da sintassi e regole. I moduli possono anche importare altri moduli, salvati in altri file K.
Dopo aver finito di creare il(i) proprio(i) file K, gli sviluppatori possono usare kompile per compilare i file. Possono quindi usare krun per eseguire il programma contenuto nel(i) proprio(i) file K.
Come aprire un file K
Puoi aprire un file K con Microsoft Visual Studio Code (multipiattaforma), Vim (Linux), GNU Emacs (multipiattaforma) o qualsiasi altro editor di testo o di codice sorgente.
Lo sviluppatore di K, Runtime Verification, mantiene estensioni di VSCode, Vim ed Emacs che facilitano la modifica dei file K in questi programmi. Per informazioni su come scaricare queste estensioni, consulta la documentazione ufficiale del K Framework.