FunKons: Component-Based Semantics in K
FunKons: Component-Based Semantics in K
复制标题
FunKons：K 中基于组件的语义
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Ferdinand Vesely
中科院分区：
文献类型：
--
作者：
Peter D. Mosses;Ferdinand Vesely
模块化已被认为是编程语言语义的一个有问题的问题，并且各种语义框架的设计都考虑到了这一点。可重用性是另一个理想的特性，虽然与模块化不同，但可以通过它来实现。 K Framework基于Rewriting Logic，具有良好的模块化支持，但规范的重用性还不够发达。
Modularity has been recognised as a problematic issue of programming language semantics, and various semantic frameworks have been designed with it in mind. Reusability is another desirable feature which, although not the same as modularity, can be enabled by it. The K Framework, based on Rewriting Logic, has good modularity support, but reuse of specifications is not as well developed.
DOI：
10.1145/2577080.2577099
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Churchill M
通讯作者：
Churchill M