The Design and Implementation of BER MetaOCaml - System Description
The Design and Implementation of BER MetaOCaml - System Description
复制标题
BER MetaOCaml 的设计与实现 - 系统描述
DOI：
10.1007/978-3-319-07151-0_6
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
O. Kiselyov
中科院分区：
文献类型：
--
作者：
O. Kiselyov
MetaOCaml是OCaml的超集，用程序代码的数据类型和用于构造和执行这种类型化代码值的操作对其进行扩展。它已被用于编译特定领域的语言和自动化的高性能计算内核的繁琐和容易出错的专业化。通过静态地确保生成的代码能够编译并让我们快速运行它，MetaOCaml使编写生成器变得不那么令人生畏，而且更有效率。
MetaOCaml is a superset of OCaml extending it with the data type for program code and operations for constructing and executing such typed code values. It has been used for compiling domain-specific languages and automating tedious and error-prone specializations of high-performance computational kernels. By statically ensuring that the generated code compiles and letting us quickly run it, MetaOCaml makes writing generators less daunting and more productive.