1背景
Erlang是一个面向表情的单一任务，垃圾收集的纯功能语言。没有循环，所以递归被大量使用。
规范语言是计算机科学中使用的一种形式化语言。规范语言用于系统分析、需求分析和系统设计。它们在比编程更高的层次上描述系统语言，它意味着描述什么，而不是如何（没有实现细节）。
2目标
为属性规范设计语言Erlang值、函数和模块。
3工作计划
- 研究Erlang表达式、函数和模块的集合
- 用自然语言描述这些表达式、函数和模块与环境的相互作用及其在环境中的预期结果
- 设计一种具有足够表达能力的形式语言，以捕获前一点中描述的属性
- 使用设计用于描述所选模块/库的语言
- 联系人
- ---
- 链接
- Erlang：类型和功能规范
ACSL:ANSI/ISO C规范语言
