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

文章基本信息

  • 标题:Foundations of Modular SOS
  • 本地全文:下载
  • 作者:Peter D. Mosses
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:1999
  • 卷号:6
  • 期号:54
  • 出版社:Aarhus University
  • 摘要:A novel form of labelled transition system is proposed, where the labels are the arrows of a category, and adjacent labels in computations are required to be composable. Such transition systems provide the foundations for modular SOS descriptions of programming languages. Three fundamental ways of transforming label categories, analogous to monad transformers, are provided, and it is shown that their applications preserve computations in modular SOS. The approach is illustrated with fragments taken from a modular SOS for ML concurrency primitives.
国家哲学社会科学文献中心版权所有