计划
Chalmers FP维基是的一部分CSE部门维基.
最近的更改
编辑提要栏
Erlang是一个面向表情的单一任务,垃圾收集的纯功能语言。没有循环,所以递归被大量使用。
由于该语言主要用于构建可靠的系统,因此很高兴能够验证Erlang程序的一些属性。
呃2为什么是一个有帮助的工具验证Erlang程序的功能契约。分析了带有注释属性的Erlang源文件,并生成的验证条件转换为自动和/或要检查的交互式校准仪。目前通过以下方式验证Erlang程序的例子很少这个工具。
呃2为什么
选择合适的纯Erlang程序或模块可以从验证中受益(BS和AVL树、排序算法实现、数据结构接口等)和使用erl2原因
erl2原因