核心Erlang到为什么选择后端

1背景

核心Erlang是Erlang的中间表示。与Erlang相比，它具有更简单的语义和更规则的结构。Core Erlang旨在使开发工具更容易分析代码

为什么是一个验证条件生成器（VCG），用于带有注释的小型中间验证语言通过简单类型启用属性规范和类型安全检查。的一部分erl2原因是表示Erlang的支持库中的结构为什么，可用于翻译Erlang为什么选择语言。

2目标

实现从Core Erlang到Why and的转换将其集成到erl2原因.

3工作计划

学习核心Erlang语言
研究当前从Erlang到Why in的翻译erl2原因
实现从Core Erlang到Why for的新翻译erl2原因
探索如何集成erl2原因在Erlang编译器中

联系人: ---
链接: 核心Erlang
Why工具
 erl2原因