BER元OCaml swMATH ID: 9552 软件作者： 奥列格·基塞利约夫 描述： BER元ocaml的设计与实现。MetaOCaml是OCaml的超集，它使用程序代码的数据类型和用于构造和执行此类类型化代码值的操作对其进行了扩展。它已被用于编译特定于域的语言，并自动对高性能计算内核进行繁琐且容易出错的专门化。通过静态地确保生成的代码能够编译并让我们快速运行，MetaOCaml使编写生成器变得不那么困难，而且效率更高。par当前的BER MetaOCam是Taha、Calcagno和合作者对原始MetaOCampl的完全重新实现。除了新的组织、新的算法、新的代码之外，BER MetaOCaml还添加了范围挤压检查来取代环境分类器。现在，试图用未绑定或错误绑定的变量（由于突变或其他影响，很容易发生）构建代码值的行为会被提前捕获，从而引发异常并进行良好的诊断。无论在生成代码时使用了什么效果，保证生成的代码始终可以编译都是无条件的。我们描述了BER MetaOCaml，强调了使新代码模块化和可维护的设计决策。我们解释了范围挤压检查的实现。 主页： http://okmij.org/ftp/ML/MetaOCaml.html 相关软件： OCaml公司;螺旋形的;CIL公司;Terra公司;卤化物;链球菌属;LMS公司;FFTW公司;网址（Ur/Web）;重量（Lwt）;链接;Opa公司;ocaml中的js;奥西根;埃利姆;Freshml公司;MetaOCaml公司 引用于： 3文件 全部的 前5名6位作者引用 2 奥列格·基塞利约夫 1 文森特·巴拉特 1 Yukiyoshi县Kameyama 1 加布里埃尔·拉丹 1 于托·苏多 1 杰罗姆·沃伊隆 0连载引用 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文