• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>10th International Workshop on Abstract State Machines 2003: Advances in Theory and Practice ASM 2003, Mar 3-7, 2003, Taormina, Italy >ASMs versus Natural Semantics: A Comparison with New Insights
【24h】

ASMs versus Natural Semantics: A Comparison with New Insights

机译：ASM与自然语义：与新见解的比较

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We compare three specification frameworks for the operational semantics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, big-step and small-step semantics, with respect to two criteria: the range of imperative programming languages to which they are applicable and the way the program is used in the specifications and treated during the thereby defined execution. To reveal the fundamental differences between these three mechanisms, we investigate if there are automatic transformations between them. As a side effect, this leads to new insights concerning the classification of big-step and small-step semantics.
机译：我们针对以下两个标准，比较了三种用于编程语言，抽象状态机（ASM）的操作语义的规范框架以及两种形式的自然语义（大步和小步语义），即命令式编程语言所遵循的范围它们是适用的，并且在规范中使用程序并在由此定义的执行期间对其进行处理的方式。为了揭示这三种机制之间的根本区别，我们研究了它们之间是否存在自动转换。副作用是，这导致了关于大步语义和小步语义的分类的新见解。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号