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

文章基本信息

  • 标题:Modularity in Meta-Languages
  • 本地全文:下载
  • 作者:Peter D. Mosses
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:2000
  • 卷号:7
  • 期号:50
  • 出版社:Aarhus University
  • 摘要:A meta-language for semantics has a high degree of modularity when descriptions of individual language constructs can be formulated independently using it, and do not require reformulation when new constructs are added to the described language. The quest for modularity in semantic meta-languages has been going on for more than two decades. Here, most of the main meta-languages for operational, denotational, and hybrid styles of semantics are compared regarding their modularity. A simple bench-mark is used: describing the semantics of a pure functional language, then extending the described language with references, exceptions, and concurrency constructs. For each style of semantics, at least one of the considered meta-languages appears to provide a high degree of modularity.
国家哲学社会科学文献中心版权所有