.K 파일 확장자
KFramework 소스 코드 파일
| 개발사 | Runtime Verification |
| 인기도 |
2.0 | 6 표 |
K 파일이란 무엇인가요?
K 파일에는 K 프로그래밍 언어로 작성된 소스 코드가 포함되어 있습니다. 개발자는 Microsoft Visual Studio Code와 같은 소스 코드 편집기를 사용하여 K 파일을 만듭니다. 그런 다음 K Framework 컴파일러인 kompile을 사용하여 파일을 컴파일합니다.
추가 정보
K는 개발자가 프로그래밍 언어와 소프트웨어 및 하드웨어 시스템을 설계하고 모델링할 수 있도록 하는 프레임워크입니다. 이 프레임워크에는 K라고 하는 자체 프로그래밍 언어가 포함되어 있습니다.
K Framework를 사용하는 개발자는 K 언어로 프로그램을 작성하고 해당 프로그램의 소스 코드를 K 파일로 저장합니다. 일반적으로 각 K 파일에는 하나 이상의 모듈이 포함되며, 모듈은 프로그램의 기능(들)을 정의합니다. 각 모듈의 이름은 하이픈으로 구분된 하나 이상의 문자, 숫자 또는 밑줄 그룹으로 구성됩니다. 모듈은 주로 구문과 규칙으로 구성됩니다. 모듈은 다른 K 파일에 저장된 다른 모듈을 가져올 수도 있습니다.
개발자가 K 파일(들) 작성을 마치면 kompile을 사용하여 파일을 컴파일할 수 있습니다. 그런 다음 krun을 사용하여 K 파일(들)에 포함된 프로그램을 실행할 수 있습니다.
K 파일을 여는 방법
다음 프로그램으로 K 파일을 열 수 있습니다: Microsoft Visual Studio Code(다중 플랫폼), Vim(Linux), GNU Emacs(다중 플랫폼) 또는 다른 텍스트 편집기나 소스 코드 편집기.
K의 개발사인 Runtime Verification은 해당 프로그램에서 K 파일을 더 쉽게 편집할 수 있도록 VSCode, Vim 및 Emacs 확장 프로그램을 관리합니다. 이러한 확장 프로그램을 다운로드하는 방법은 K Framework 공식 문서를 참조하십시오.