首页    期刊浏览 2024年07月05日 星期五
登录注册

文章基本信息

  • 标题:Algebraic Pattern Matching in Join Calculus
  • 本地全文:下载
  • 作者:Qin Ma ; Luc Maranget
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2008
  • 卷号:4
  • 期号:01
  • DOI:10.2168/LMCS-4(1:7)2008
  • 出版社:Technical University of Braunschweig
  • 摘要:

    We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction between concurrency and pattern matching; to define a practical compilation scheme from extended join definitions into ordinary ones plus ML pattern matching. To assess the correctness of our compilation scheme, we develop a theory of the applied join calculus, a calculus with value passing and value matching. We implement this calculus as an extension of the current JoCaml system.

  • 关键词:Pattern Matching;Algebraic Data Types
国家哲学社会科学文献中心版权所有