Kore语言 Kore是K框架的“核心”部分。 Kore的全部含义是什么？ 简而言之，我们需要K的形式语义。在K中，用户可以将编程语言的形式语法和语义定义为K定义，并自动为其语言获取解析器，解释器，编译器和各种验证工具。 因此，K是独立于语言的框架。 由于对匹配逻辑和可达性逻辑进行了多年研究，我们知道所有K都可以很好地形式化为匹配逻辑中的逻辑推理。 为了给K提供形式语义，我们只需要正式指定K进行推理的基础匹配逻辑理论。 在实践中，这些基础理论是复杂的且通常是无限的，并且在没有经过精心设计的正