摘要
建议
Pilsner：一种用于高阶命令式语言的组合验证编译器 ICFP 2015：第20届ACM SIGPLAN函数编程国际会议记录 编译器验证对于构建经过充分验证的软件至关重要，但大多数以前的工作（如CompCert）都集中于验证全程序编译器。 为了支持单独编译，并能够链接来自不同。。。 Pilsner：一种用于高阶命令式语言的组合验证编译器 2015年ICFP 编译器验证对于构建经过充分验证的软件至关重要，但大多数以前的工作（如CompCert）都集中于验证全程序编译器。 为了支持单独编译，并能够链接来自不同。。。 集成语言定义测试：支持测试驱动的语言开发 OOPSLA’11:2011年ACM面向对象编程系统语言和应用国际会议记录 编程语言的编译器、解释器和开发环境的可靠性对于有效的软件开发和维护至关重要。 他们通常只是在事后才进行测试。 范围较小的语言，例如。。。
