首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:Logical Specification of Operational Semantics
  • 本地全文:下载
  • 作者:Peter D. Mosses
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:1999
  • 卷号:6
  • 期号:55
  • 出版社:Aarhus University
  • 摘要:Various logic-based frameworks have been proposed for specifying the operational semantics of programming languages and concurrent systems, including inference systems in the styles advocated by Plotkin and by Kahn, Horn logic, equational specifications, reduction systems for evaluation contexts, rewriting logic, and tile logic. We consider the relationship between these frameworks, and assess their respective merits and drawbacks - especially with regard to the modularity of specifications, which is a crucial feature for scaling up to practical applications. We also report on recent work towards the use of the Maude system (which provides an efficient implementation of rewriting logic) as a meta-tool for operational semantics.
国家哲学社会科学文献中心版权所有