首页    期刊浏览 2025年02月21日 星期五
登录注册

文章基本信息

  • 标题:A Flattening Strategy for SML Module Compilation and Its Implementation
  • 本地全文:下载
  • 作者:Liu Bochao ; Atsushi Ohori
  • 期刊名称:Information and Media Technologies
  • 电子版ISSN:1881-0896
  • 出版年度:2010
  • 卷号:5
  • 期号:1
  • 页码:58-76
  • DOI:10.11185/imt.5.58
  • 出版社:Information and Media Technologies Editorial Board
  • 摘要:This paper presents a method to compile the Standard ML module language into a flattened intermediate language. An innovative point on this approach lies in viewing a functor as a code template with place holders representing the functor arguments. Each functor application fills these place holders in the code template with the actual functor argument and generates a fresh structure. After this compilation, module language constructs are all eliminated. This method allows us to compile the full set of Standard ML language into a typed intermediate language that contains no special mechanism for module, and provides a simpler model for separate compilation. The proposed compilation method has been successfully implemented in the SML# compiler, which demonstrates the feasibility of the method. This paper also reports the details of our implementation.
国家哲学社会科学文献中心版权所有