(:title Core Erlang到@@Why@@Backend:)
!!1背景
核心Erlang是Erlang的中间表示。
与Erlang相比,它具有更简单的语义和更规则的
结构。
Core Erlang旨在使开发工具更容易
分析代码
@@为什么@@是用于
带有注释的小型中间验证语言
通过简单类型启用属性规范和类型安全
检查。
@@erl2why@@的一部分是表示Erlang的支持库
@@Why@@中的结构,可用于Erlang的翻译
为什么选择语言。
!!2目标
实现从Core Erlang到Why and的转换
将其集成到@@erl2why@@中。
!!3工作计划
*学习核心Erlang语言
*研究当前在@@erl2why中从Erlang到Why的翻译@@
*实现从Core Erlang到Why for@@erl2why的新翻译@@
*探索如何在Erlang编译器中集成@@erl2why@@
[[http://www.it.uu.se/research/group/hipe/cerl/|核心Erlang]]\\
[[http://why.lri.fr/|“为什么”工具]]\\
[[http://www.cse.chalmers.se/~amaral/erl2why.html|erl2why]]